Searched refs:BOOT_RODATA (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/include/plat/spike/plat/instance/rocket-chip/
H A Dhardware.h37 static const paddr_t BOOT_RODATA *kernel_devices = NULL;
39 static const p_region_t BOOT_RODATA *dev_p_regs = NULL;
/seL4-test-master/kernel/include/
H A Dlinker.h16 #define BOOT_RODATA SECTION(".boot.rodata") macro
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/kernel/
H A Dvspace.h53 static const region_t BOOT_RODATA mode_reserved_region[] = {};
55 static const region_t BOOT_RODATA *mode_reserved_region = NULL;
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h65 static const region_t BOOT_RODATA mode_reserved_region[] = {

Completed in 137 milliseconds