sel4_
config
0.1.0
In sel4_
config::
consts
Constants
AARCH32_FPU_ENABLE_CONTEXT_SWITCH
AARCH64_SERROR_IGNORE
AARCH64_USER_CACHE_ENABLE
AARCH64_VSPACE_S2_START_L1
ALLOW_SMC_CALLS
ARCH
ARCH_AARCH32
ARCH_AARCH64
ARCH_ARM
ARCH_ARM_HYP
ARCH_ARM_V7A
ARCH_ARM_V7VE
ARCH_ARM_V8A
ARCH_IA32
ARCH_RISCV32
ARCH_RISCV64
ARCH_X86_64
ARM_CORTEX_A15
ARM_CORTEX_A35
ARM_CORTEX_A53
ARM_CORTEX_A55
ARM_CORTEX_A57
ARM_CORTEX_A7
ARM_CORTEX_A72
ARM_CORTEX_A8
ARM_CORTEX_A9
ARM_ERRATA_430973
ARM_ERRATA_773022
ARM_GIC_V3_SUPPORT
ARM_HIKEY_OUTSTANDING_PREFETCHERS
ARM_HIKEY_PREFETCHER_NPFSTRM
ARM_HIKEY_PREFETCHER_STBPFDIS
ARM_HIKEY_PREFETCHER_STBPFRS
ARM_HIKEY_PREFETCHER_STRIDE
ARM_HYPERVISOR_SUPPORT
ARM_HYP_ENABLE_VCPU_CP14_SAVE_AND_RESTORE
ARM_ICACHE_VIPT
ARM_MACH
ARM_PA_SIZE_BITS_40
ARM_PA_SIZE_BITS_44
ARM_PLAT
ARM_SMMU
BENCHMARK_GENERIC
BENCHMARK_TRACEPOINTS
BENCHMARK_TRACK_KERNEL_ENTRIES
BENCHMARK_TRACK_UTILISATION
BINARY_VERIFICATION_BUILD
BOOT_THREAD_TIME_SLICE
CLZ_32
CLZ_64
CLZ_NO_BUILTIN
COLOUR_PRINTING
CTZ_32
CTZ_64
CTZ_NO_BUILTIN
DANGEROUS_CODE_INJECTION
DEBUG_BUILD
DEBUG_DISABLE_BRANCH_PREDICTION
DEBUG_DISABLE_L1_DCACHE
DEBUG_DISABLE_L1_ICACHE
DEBUG_DISABLE_L2_CACHE
DEBUG_DISABLE_PREFETCHERS
DISABLE_WFI_WFE_TRAPS
ENABLE_A9_PREFETCHER
ENABLE_BENCHMARKS
ENABLE_SMP_SUPPORT
EXCEPTION_FASTPATH
EXPORT_PCNT_USER
EXPORT_PMU_USER
EXPORT_PTMR_USER
EXPORT_VCNT_USER
EXPORT_VTMR_USER
FASTPATH
FPU_MAX_RESTORES_SINCE_SWITCH
HARDWARE_DEBUG_API
HAVE_FPU
IRQ_REPORTING
KERNEL_BENCHMARK
KERNEL_FWHOLE_PROGRAM
KERNEL_INVOCATION_REPORT_ERROR_IPC
KERNEL_LOG_BUFFER
KERNEL_MCS
KERNEL_OPTIMISATION_CLONE_FUNCTIONS
KERNEL_OPT_LEVEL
KERNEL_OPT_LEVEL_O0
KERNEL_OPT_LEVEL_O1
KERNEL_OPT_LEVEL_O2
KERNEL_OPT_LEVEL_O3
KERNEL_OPT_LEVEL_OS
KERNEL_STACK_BITS
KERNEL_STATIC_MAX_PERIOD_US
KERNEL_WCET_SCALE
L1_CACHE_LINE_SIZE_BITS
LIB_SEL4_DEFAULT_FUNCTION_ATTRIBUTES
LIB_SEL4_FUNCTION_ATTRIBUTE
LIB_SEL4_INLINE_INVOCATIONS
LIB_SEL4_PRINT_INVOCATION_ERRORS
LIB_SEL4_PUBLIC_SYMBOLS
LIB_SEL4_STUBS_USE_IPC_BUFFER_ONLY
MAX_NUM_BOOTINFO_UNTYPED_CAPS
MAX_NUM_NODES
MAX_NUM_TRACE_POINTS
MAX_NUM_WORK_UNITS_PER_PREEMPTION
NO_BENCHMARKS
NUM_DOMAINS
NUM_PRIORITIES
PADDR_USER_DEVICE_TOP
PLAT
PLAT_BCM2711
PLAT_BCM2837
PLAT_FVP
PLAT_HIKEY
PLAT_IMX7
PLAT_IMX8MM_EVK
PLAT_IMX8MP_EVK
PLAT_IMX8MQ_EVK
PLAT_MAAXBOARD
PLAT_ODROIDC2
PLAT_ODROIDC4
PLAT_QEMU_ARM_VIRT
PLAT_QUARTZ64
PLAT_ROCKPRO64
PLAT_TQMA8XQP1GB
PLAT_TX1
PLAT_TX2
PLAT_ZYNQMP
PRINTING
RESET_CHUNK_BITS
RETYPE_FAN_OUT_LIMIT
ROOT_CNODE_SIZE_BITS
SEL4_ARCH
SET_TLS_BASE_SELF
SIGNAL_FASTPATH
SMMU_INTERRUPT_ENABLE
TK1_SMMU
USER_STACK_TRACE_LENGTH
VERIFICATION_BUILD
VTIMER_UPDATE_VOFFSET
WORD_SIZE
sel4_config
::
consts
Constant
ARM_HIKEY_OUTSTANDING_PREFETCHERS
Copy item path
Settings
Help
Summary
Source
pub const ARM_HIKEY_OUTSTANDING_PREFETCHERS: &str = "0";