示例#1
0
static void
vmmcall_boot_init (void)
{
	vmmcall_register ("boot", boot_guest);
	vmmcall_register ("loadcfg", loadcfg);
	config.len = 0;
	enable = false;
}
示例#2
0
void
vmmcall_init (void)
{
	n_vmmcall = 0;
	vmmcall_register ("get_vmmcall_number", get_vmmcall_number);
	call_initfunc ("vmmcal");
}
示例#3
0
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
}
示例#4
0
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);
}