List of all items
Macros
Attribute Macros
Constants
- consts::AARCH64_SERROR_IGNORE
- consts::ARCH
- consts::ARCH_AARCH32
- consts::ARCH_AARCH64
- consts::ARCH_ARM_HYP
- consts::ARCH_ARM_V7A
- consts::ARCH_ARM_V7VE
- consts::ARCH_ARM_V8A
- consts::ARCH_IA32
- consts::ARCH_RISCV32
- consts::ARCH_RISCV64
- consts::ARCH_X86
- consts::ARCH_X86_64
- consts::ARCH_X86_BROADWELL
- consts::ARCH_X86_GENERIC
- consts::ARCH_X86_HASWELL
- consts::ARCH_X86_IVY
- consts::ARCH_X86_NEHALEM
- consts::ARCH_X86_SANDY
- consts::ARCH_X86_SKYLAKE
- consts::ARCH_X86_WESTMERE
- consts::ARM_CORTEX_A15
- consts::ARM_CORTEX_A35
- consts::ARM_CORTEX_A53
- consts::ARM_CORTEX_A55
- consts::ARM_CORTEX_A57
- consts::ARM_CORTEX_A7
- consts::ARM_CORTEX_A72
- consts::ARM_CORTEX_A8
- consts::ARM_CORTEX_A9
- consts::ARM_HIKEY_OUTSTANDING_PREFETCHERS
- consts::ARM_HIKEY_PREFETCHER_NPFSTRM
- consts::ARM_HIKEY_PREFETCHER_STBPFDIS
- consts::ARM_HIKEY_PREFETCHER_STBPFRS
- consts::ARM_HIKEY_PREFETCHER_STRIDE
- consts::BENCHMARK_GENERIC
- consts::BENCHMARK_TRACEPOINTS
- consts::BENCHMARK_TRACK_KERNEL_ENTRIES
- consts::BENCHMARK_TRACK_UTILISATION
- consts::BINARY_VERIFICATION_BUILD
- consts::CACHE_LN_SZ
- consts::CLZ_32
- consts::CLZ_64
- consts::CLZ_NO_BUILTIN
- consts::COLOUR_PRINTING
- consts::CTZ_32
- consts::CTZ_64
- consts::CTZ_NO_BUILTIN
- consts::DANGEROUS_CODE_INJECTION
- consts::DEBUG_BUILD
- consts::DEBUG_DISABLE_PREFETCHERS
- consts::ENABLE_BENCHMARKS
- consts::ENABLE_SMP_SUPPORT
- consts::EXCEPTION_FASTPATH
- consts::EXPORT_PMC_USER
- consts::FASTPATH
- consts::FPU_MAX_RESTORES_SINCE_SWITCH
- consts::FSGSBASE_INST
- consts::FSGSBASE_MSR
- consts::FXSAVE
- consts::HARDWARE_DEBUG_API
- consts::HAVE_FPU
- consts::HUGE_PAGE
- consts::IOMMU
- consts::IRQ_IOAPIC
- consts::IRQ_PIC
- consts::IRQ_REPORTING
- consts::KERNEL_BENCHMARK
- consts::KERNEL_FSGS_BASE
- consts::KERNEL_FWHOLE_PROGRAM
- consts::KERNEL_INVOCATION_REPORT_ERROR_IPC
- consts::KERNEL_IRQ_CONTROLLER
- consts::KERNEL_LAPIC_MODE
- consts::KERNEL_LOG_BUFFER
- consts::KERNEL_MCS
- consts::KERNEL_MUTLTIBOOT_GFX_MODE
- consts::KERNEL_OPTIMISATION_CLONE_FUNCTIONS
- consts::KERNEL_OPT_LEVEL
- consts::KERNEL_OPT_LEVEL_O0
- consts::KERNEL_OPT_LEVEL_O1
- consts::KERNEL_OPT_LEVEL_O2
- consts::KERNEL_OPT_LEVEL_O3
- consts::KERNEL_OPT_LEVEL_OS
- consts::KERNEL_SKIM_WINDOW
- consts::KERNEL_STACK_BITS
- consts::KERNEL_X86_DANGEROUS_MSR
- consts::KERNEL_X86_FPU
- consts::KERNEL_X86_IBPB_ON_CONTEXT_SWITCH
- consts::KERNEL_X86_IBRS
- consts::KERNEL_X86_IBRS_ALL
- consts::KERNEL_X86_IBRS_BASIC
- consts::KERNEL_X86_IBRS_NONE
- consts::KERNEL_X86_MICRO_ARCH
- consts::KERNEL_X86_RSB_ON_CONTEXT_SWITCH
- consts::KERNEL_X86_SYSCALL
- consts::LIB_SEL4_DEFAULT_FUNCTION_ATTRIBUTES
- consts::LIB_SEL4_FUNCTION_ATTRIBUTE
- consts::LIB_SEL4_INLINE_INVOCATIONS
- consts::LIB_SEL4_PRINT_INVOCATION_ERRORS
- consts::LIB_SEL4_PUBLIC_SYMBOLS
- consts::LIB_SEL4_STUBS_USE_IPC_BUFFER_ONLY
- consts::MAX_NUM_BOOTINFO_UNTYPED_CAPS
- consts::MAX_NUM_IOAPIC
- consts::MAX_NUM_NODES
- consts::MAX_NUM_TRACE_POINTS
- consts::MAX_NUM_WORK_UNITS_PER_PREEMPTION
- consts::MAX_RMRR_ENTRIES
- consts::MAX_VPIDS
- consts::MULTIBOOT1_HEADER
- consts::MULTIBOOT2_HEADER
- consts::MULTIBOOT_GRAPHICS_MODE_LINEAR
- consts::MULTIBOOT_GRAPHICS_MODE_NONE
- consts::MULTIBOOT_GRAPHICS_MODE_TEXT
- consts::NO_BENCHMARKS
- consts::NUM_DOMAINS
- consts::NUM_PRIORITIES
- consts::PADDR_USER_DEVICE_TOP
- consts::PC99_TSC_FREQUENCY
- consts::PLAT
- consts::PLAT_IMX7
- consts::PLAT_PC99
- consts::PRINTING
- consts::RESET_CHUNK_BITS
- consts::RETYPE_FAN_OUT_LIMIT
- consts::ROOT_CNODE_SIZE_BITS
- consts::SEL4_ARCH
- consts::SET_TLS_BASE_SELF
- consts::SIGNAL_FASTPATH
- consts::SUPPORT_PCID
- consts::SYSCALL
- consts::SYSENTER
- consts::TIMER_TICK_MS
- consts::TIME_SLICE
- consts::USER_STACK_TRACE_LENGTH
- consts::USE_LOGICAL_IDS
- consts::VERIFICATION_BUILD
- consts::VTX
- consts::WORD_SIZE
- consts::X2APIC
- consts::X86_64_VTX_64BIT_GUESTS
- consts::XAPIC
- consts::XSAVE
- consts::XSAVE_FEATURE_SET
- consts::XSAVE_SIZE