Searched defs:avail_p_regs (Results 1 - 17 of 17) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dhardware.h66 static const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/hikey/plat/machine/
H A Dhardware.h48 static const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/imx31/plat/machine/
H A Dhardware.h55 static const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dhardware.h49 static const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/machine/
H A Dhardware.h58 const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/allwinnerA20/plat/machine/
H A Dhardware.h48 static const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/apq8064/plat/machine/
H A Dhardware.h53 static const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/exynos4/plat/machine/
H A Dhardware.h57 static const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/exynos5/plat/machine/
H A Dhardware.h60 static const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/imx6/plat/machine/
H A Dhardware.h54 static const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/imx7/plat/machine/
H A Dhardware.h54 static const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/tk1/plat/machine/
H A Dhardware.h70 static const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/tx1/plat/machine/
H A Dhardware.h84 static const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/zynq7000/plat/machine/
H A Dhardware.h55 static const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/machine/
H A Dhardware.h52 const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/tx2/plat/machine/
H A Dhardware.h73 static const p_region_t BOOT_RODATA avail_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dhardware.c39 static p_region_t BOOT_DATA avail_p_regs[MAX_AVAIL_P_REGS]; variable

Completed in 56 milliseconds