IO_RTC
outb(IO_RTC, NVRAM_RESET);
outb(IO_RTC+1, NVRAM_RESET_JUMP);
outb(IO_RTC, NVRAM_RESET);
outb(IO_RTC+1, NVRAM_RESET_RST);
outb(IO_RTC, reg);
return (inb(IO_RTC+1));
outb(IO_RTC, reg);
outb(IO_RTC+1, datum);
outb(IO_RTC, NVRAM_EQUIPMENT);
if ((inb(IO_RTC+1) & PRESENT_MASK) == PRESENT_MASK) {
outb(IO_RTC, NVRAM_RESET);
outb(IO_RTC+1, NVRAM_RESET_JUMP);
outb(IO_RTC, NVRAM_RESET);
outb(IO_RTC+1, NVRAM_RESET_RST);
outb(IO_RTC, reg);
v = inb(IO_RTC+1);
outb(IO_RTC, reg);
outb(IO_RTC+1, datum);
outb(IO_RTC, NVRAM_EQUIPMENT);
if ((inb(IO_RTC+1) & PRESENT_MASK) == PRESENT_MASK) {
{ IO_RTC, IO_RTC + 1 },
{ IO_RTC, IO_RTC + 1 },
{ IO_RTC, IO_RTC + 1 },
{ IO_RTC, IO_RTC + 1 },
#define IO_NMI IO_RTC /* NMI Control */
if (port == IO_RTC) {
} else if (port == IO_RTC + 1) {
ioports_map[IO_RTC] = vcpu_exit_mc146818;
ioports_map[IO_RTC + 1] = vcpu_exit_mc146818;