- b -

• BUILTIN : armv7/boot/include/fpinfo.h , x86_multiboot/boot/include/fpinfo.h

- c -

• coq_FAIL_CALLER_CONTEXT_SAVE : armv7/MAL/include/maldefines.h , x86_multiboot/MAL/include/maldefines.h
• coq_FAIL_INVALID_CHILD : armv7/MAL/include/maldefines.h , x86_multiboot/MAL/include/maldefines.h
• coq_FAIL_INVALID_CTX_SAVE_INDEX : armv7/MAL/include/maldefines.h , x86_multiboot/MAL/include/maldefines.h
• coq_FAIL_INVALID_INT_LEVEL : armv7/MAL/include/maldefines.h , x86_multiboot/MAL/include/maldefines.h
• coq_FAIL_MASKED_INTERRUPT : armv7/MAL/include/maldefines.h , x86_multiboot/MAL/include/maldefines.h
• coq_FAIL_ROOT_CALLER : armv7/MAL/include/maldefines.h , x86_multiboot/MAL/include/maldefines.h
• coq_FAIL_UNAVAILABLE_CALLER_VIDT : armv7/MAL/include/maldefines.h , x86_multiboot/MAL/include/maldefines.h
• coq_FAIL_UNAVAILABLE_TARGET_CTX : armv7/MAL/include/maldefines.h , x86_multiboot/MAL/include/maldefines.h
• coq_FAIL_UNAVAILABLE_TARGET_VIDT : armv7/MAL/include/maldefines.h , x86_multiboot/MAL/include/maldefines.h
• coq_SUCCESS : armv7/MAL/include/maldefines.h , x86_multiboot/MAL/include/maldefines.h
• CPUID_FEAT_ECX_AES : x86int.h
• CPUID_FEAT_ECX_AVX : x86int.h
• CPUID_FEAT_ECX_CID : x86int.h
• CPUID_FEAT_ECX_CX16 : x86int.h
• CPUID_FEAT_ECX_DCA : x86int.h
• CPUID_FEAT_ECX_DS_CPL : x86int.h
• CPUID_FEAT_ECX_DTES64 : x86int.h
• CPUID_FEAT_ECX_EST : x86int.h
• CPUID_FEAT_ECX_ETPRD : x86int.h
• CPUID_FEAT_ECX_FMA : x86int.h
• CPUID_FEAT_ECX_MONITOR : x86int.h
• CPUID_FEAT_ECX_MOVBE : x86int.h
• CPUID_FEAT_ECX_OSXSAVE : x86int.h
• CPUID_FEAT_ECX_PCID : x86int.h
• CPUID_FEAT_ECX_PCLMUL : x86int.h
• CPUID_FEAT_ECX_PDCM : x86int.h
• CPUID_FEAT_ECX_POPCNT : x86int.h
• CPUID_FEAT_ECX_SMX : x86int.h
• CPUID_FEAT_ECX_SSE3 : x86int.h
• CPUID_FEAT_ECX_SSE4_1 : x86int.h
• CPUID_FEAT_ECX_SSE4_2 : x86int.h
• CPUID_FEAT_ECX_SSSE3 : x86int.h
• CPUID_FEAT_ECX_TM2 : x86int.h
• CPUID_FEAT_ECX_VMX : x86int.h
• CPUID_FEAT_ECX_x2APIC : x86int.h
• CPUID_FEAT_ECX_XSAVE : x86int.h
• CPUID_FEAT_EDX_ACPI : x86int.h
• CPUID_FEAT_EDX_APIC : x86int.h
• CPUID_FEAT_EDX_CLF : x86int.h
• CPUID_FEAT_EDX_CMOV : x86int.h
• CPUID_FEAT_EDX_CX8 : x86int.h
• CPUID_FEAT_EDX_DE : x86int.h
• CPUID_FEAT_EDX_DTES : x86int.h
• CPUID_FEAT_EDX_FPU : x86int.h
• CPUID_FEAT_EDX_FXSR : x86int.h
• CPUID_FEAT_EDX_HTT : x86int.h
• CPUID_FEAT_EDX_IA64 : x86int.h
• CPUID_FEAT_EDX_MCA : x86int.h
• CPUID_FEAT_EDX_MCE : x86int.h
• CPUID_FEAT_EDX_MMX : x86int.h
• CPUID_FEAT_EDX_MSR : x86int.h
• CPUID_FEAT_EDX_MTRR : x86int.h
• CPUID_FEAT_EDX_PAE : x86int.h
• CPUID_FEAT_EDX_PAT : x86int.h
• CPUID_FEAT_EDX_PBE : x86int.h
• CPUID_FEAT_EDX_PGE : x86int.h
• CPUID_FEAT_EDX_PSE : x86int.h
• CPUID_FEAT_EDX_PSE36 : x86int.h
• CPUID_FEAT_EDX_PSN : x86int.h
• CPUID_FEAT_EDX_SEP : x86int.h
• CPUID_FEAT_EDX_SS : x86int.h
• CPUID_FEAT_EDX_SSE : x86int.h
• CPUID_FEAT_EDX_SSE2 : x86int.h
• CPUID_FEAT_EDX_TM1 : x86int.h
• CPUID_FEAT_EDX_TSC : x86int.h
• CPUID_FEAT_EDX_VME : x86int.h
• CPUID_GETFEATURES : x86int.h
• CPUID_GETSERIAL : x86int.h
• CPUID_GETTLB : x86int.h
• CPUID_GETVENDORSTRING : x86int.h
• CPUID_INTELBRANDSTRING : x86int.h
• CPUID_INTELBRANDSTRINGEND : x86int.h
• CPUID_INTELBRANDSTRINGMORE : x86int.h
• CPUID_INTELEXTENDED : x86int.h
• CPUID_INTELFEATURES : x86int.h
• CTX_LR : context.h
• CTX_PC : context.h
• CTX_R0 : context.h
• CTX_R1 : context.h
• CTX_R10 : context.h
• CTX_R11 : context.h
• CTX_R12 : context.h
• CTX_R2 : context.h
• CTX_R3 : context.h
• CTX_R4 : context.h
• CTX_R5 : context.h
• CTX_R6 : context.h
• CTX_R7 : context.h
• CTX_R8 : context.h
• CTX_R9 : context.h
• CTX_SP : context.h

- e -

• ERROR : armv7/boot/include/debug.h

- i -

• INFO : armv7/boot/include/debug.h
• INT_CTX : ial.h
• INVALID_CTX : ial.h
• ISR_CTX : ial.h

- n -

• NOTIF_CHILD_CTX : ial.h
• NOTIF_PARENT_CTX : ial.h

- o -

• OTHER : armv7/boot/include/fpinfo.h , x86_multiboot/boot/include/fpinfo.h

- p -

• PCI : armv7/boot/include/fpinfo.h , x86_multiboot/boot/include/fpinfo.h

- r -

• RET_ERROR : types.h
• RET_SUCCESS : types.h
• RET_SYSCALL_INVALID : types.h
• RGN_CACHE_WBACK_NOALLOC : armv7/boot/include/mmu.h
• RGN_CACHE_WBACK_WALLOC : armv7/boot/include/mmu.h
• RGN_CACHE_WTHROUGH : armv7/boot/include/mmu.h
• RGN_NOCACHE : armv7/boot/include/mmu.h

- t -

• TRACE : armv7/boot/include/debug.h

- w -

• WARNING : armv7/boot/include/debug.h