- a -

• apic_icr_write() : apic.h
• apic_init() : apic.c, apic.h
• apic_mmio_icr_write() : apic.h
• apic_mmio_read() : apic.h
• apic_mmio_write() : apic.h
• apic_msr_icr_write() : apic.h
• apic_msr_read() : apic.h
• apic_msr_write() : apic.h
• apic_read() : apic.h
• apic_write() : apic.h
• apicbase_to_mode() : apic.c
• arch_crash_hard() : traps.c, weak-defaults.c, framework.h
• arch_fmt_pointer() : decode.c, weak-defaults.c, libc.h
• arch_init_traps() : traps.c, traps.h, traps.c
• arch_map_gnttab() : grant_table.c, grant_table.h
• arch_setup() : setup.c, weak-defaults.c, framework.h
• asm() : main.c
• asm_checks() : main.c