static void vmmcall_boot_init (void) { vmmcall_register ("boot", boot_guest); vmmcall_register ("loadcfg", loadcfg); config.len = 0; enable = false; }
void vmmcall_init (void) { n_vmmcall = 0; vmmcall_register ("get_vmmcall_number", get_vmmcall_number); call_initfunc ("vmmcal"); }
static void vmmcall_dbgsh_init (void) { #ifdef DBGSH s = r = -1; stopped = false; spinlock_init (&dbgsh_lock2); vmmcall_register ("dbgsh", dbgsh); #else if (0) dbgsh (); #endif }
static void vmmcall_iccard_init (void) { void *handle; if (!config.vmm.iccard.status) return; rw_spinlock_init (&cardtest); iccard_status = IS_NOT_READY; vmmcall_register ("iccard", iccard); handle = timer_new (iccard_timer, NULL); ASSERT (handle); timer_set (handle, 1000000); }