- i -

• inb() : lib.h
• init_callbacks() : traps.c
• init_hypercalls() : setup.c
• init_pv_console() : console.c, console.h
• init_xenbus() : xenbus.c, xenbus.h
• inl() : lib.h
• int3_stub() : main.c
• invlpg() : lib.h
• invlpg_checked() : main.c
• invlpg_fs_checked() : main.c
• invlpg_fs_refill() : main.c
• invlpg_refill() : main.c
• inw() : lib.h
• ioapic_init() : io-apic.h, io-apic.c
• ioapic_read32() : io-apic.h
• ioapic_read64() : io-apic.h
• ioapic_set_mask() : io-apic.h, io-apic.c
• ioapic_write32() : io-apic.h
• ioapic_write64() : io-apic.h
• iret_entry() : main.c
• is_initdomain() : setup.c
• isdigit() : lib.c, vsnprintf.c