List of all items
Macros
Attribute Macros
Constants
- consts::AARCH32_FPU_ENABLE_CONTEXT_SWITCH
- consts::AARCH64_SERROR_IGNORE
- consts::AARCH64_USER_CACHE_ENABLE
- consts::AARCH64_VSPACE_S2_START_L1
- consts::ALLOW_SMC_CALLS
- consts::ARCH
- consts::ARCH_AARCH32
- consts::ARCH_AARCH64
- consts::ARCH_ARM
- 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_64
- 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_ERRATA_430973
- consts::ARM_ERRATA_773022
- consts::ARM_GIC_V3_SUPPORT
- 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::ARM_HYPERVISOR_SUPPORT
- consts::ARM_HYP_ENABLE_VCPU_CP14_SAVE_AND_RESTORE
- consts::ARM_ICACHE_VIPT
- consts::ARM_MACH
- consts::ARM_PA_SIZE_BITS_40
- consts::ARM_PA_SIZE_BITS_44
- consts::ARM_PLAT
- consts::ARM_SMMU
- consts::BENCHMARK_GENERIC
- consts::BENCHMARK_TRACEPOINTS
- consts::BENCHMARK_TRACK_KERNEL_ENTRIES
- consts::BENCHMARK_TRACK_UTILISATION
- consts::BINARY_VERIFICATION_BUILD
- 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_BRANCH_PREDICTION
- consts::DEBUG_DISABLE_L1_DCACHE
- consts::DEBUG_DISABLE_L1_ICACHE
- consts::DEBUG_DISABLE_L2_CACHE
- consts::DEBUG_DISABLE_PREFETCHERS
- consts::DISABLE_WFI_WFE_TRAPS
- consts::ENABLE_A9_PREFETCHER
- consts::ENABLE_BENCHMARKS
- consts::ENABLE_SMP_SUPPORT
- consts::EXCEPTION_FASTPATH
- consts::EXPORT_PCNT_USER
- consts::EXPORT_PMU_USER
- consts::EXPORT_PTMR_USER
- consts::EXPORT_VCNT_USER
- consts::EXPORT_VTMR_USER
- consts::FASTPATH
- consts::FPU_MAX_RESTORES_SINCE_SWITCH
- consts::HARDWARE_DEBUG_API
- consts::HAVE_FPU
- consts::IRQ_REPORTING
- consts::KERNEL_BENCHMARK
- consts::KERNEL_FWHOLE_PROGRAM
- consts::KERNEL_INVOCATION_REPORT_ERROR_IPC
- consts::KERNEL_LOG_BUFFER
- consts::KERNEL_MCS
- 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_STACK_BITS
- consts::L1_CACHE_LINE_SIZE_BITS
- 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_NODES
- consts::MAX_NUM_TRACE_POINTS
- consts::MAX_NUM_WORK_UNITS_PER_PREEMPTION
- consts::NO_BENCHMARKS
- consts::NUM_DOMAINS
- consts::NUM_PRIORITIES
- consts::PADDR_USER_DEVICE_TOP
- consts::PLAT
- consts::PLAT_ALLWINNERA20
- consts::PLAT_AM335X
- consts::PLAT_APQ8064
- consts::PLAT_BCM2711
- consts::PLAT_BCM2837
- consts::PLAT_EXYNOS4
- consts::PLAT_EXYNOS5
- consts::PLAT_HIKEY
- consts::PLAT_IMX6
- consts::PLAT_IMX7
- consts::PLAT_IMX7_SABRE
- consts::PLAT_IMX8MM_EVK
- consts::PLAT_IMX8MP_EVK
- consts::PLAT_IMX8MQ_EVK
- consts::PLAT_MAAXBOARD
- consts::PLAT_OMAP3
- consts::PLAT_QEMU_ARM_VIRT
- consts::PLAT_TK1
- consts::PLAT_TQMA8XQP1GB
- consts::PLAT_ZYNQ7000
- consts::PLAT_ZYNQMP
- 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::SMMU_INTERRUPT_ENABLE
- consts::TIMER_TICK_MS
- consts::TIME_SLICE
- consts::TK1_SMMU
- consts::USER_STACK_TRACE_LENGTH
- consts::USER_TOP
- consts::VERIFICATION_BUILD
- consts::VTIMER_UPDATE_VOFFSET
- consts::WORD_SIZE