static void
setiohooks (void)
{
if (current->vcpu0 != current)
return;
#ifdef DEBUG_IO_MONITOR
set_iofunc (0x60, kbdio_monitor);
#endif
#ifdef DEBUG_IO0x20_MONITOR
set_iofunc (0x20, io0x20_monitor);
#endif
#if defined (F11PANIC) || defined (F12MSG)
if (config.vmm.f11panic || config.vmm.f12msg)
set_iofunc (0x60, kbdio_dbg_monitor);
#endif
}
void
acpi_iohook (void)
{
if (pm1a_cnt_found)
set_iofunc (pm1a_cnt_ioaddr, acpi_io_monitor);
}