• apic_mode : apic.h
• mode : main.c
• test_status : report.c
• x86_vendor : cpuid.h
• XEN_UVMF : xen.h
• xenstore_msg_type : xs_wire.h