• arm_ctxreg_e : context.h
• cpuid_features : x86int.h
• cpuid_requests : x86int.h
• fpinfo_devicetype : armv7/boot/include/fpinfo.h , x86_multiboot/boot/include/fpinfo.h
• loglevel_e : armv7/boot/include/debug.h
• mmu_rgn_e : armv7/boot/include/mmu.h
• retcode_e : types.h
• user_ctx_role_e : ial.h
• yield_checks_e : armv7/MAL/include/maldefines.h , x86_multiboot/MAL/include/maldefines.h