Searched defs:dev_p_regs (Results 1 - 16 of 16) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dhardware.h71 static const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/hikey/plat/machine/
H A Dhardware.h52 static const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/imx31/plat/machine/
H A Dhardware.h60 static const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dhardware.h54 static const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/machine/
H A Dhardware.h63 const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/allwinnerA20/plat/machine/
H A Dhardware.h53 static const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/apq8064/plat/machine/
H A Dhardware.h62 static const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/exynos4/plat/machine/
H A Dhardware.h62 static const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/exynos5/plat/machine/
H A Dhardware.h65 static const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/imx6/plat/machine/
H A Dhardware.h64 static const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/imx7/plat/machine/
H A Dhardware.h65 const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/tk1/plat/machine/
H A Dhardware.h74 static const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/tx1/plat/machine/
H A Dhardware.h89 static const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/zynq7000/plat/machine/
H A Dhardware.h60 static const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/machine/
H A Dhardware.h58 const p_region_t BOOT_RODATA dev_p_regs[] = { variable
/seL4-l4v-10.1.1/seL4/include/plat/tx2/plat/machine/
H A Dhardware.h85 static const p_region_t BOOT_RODATA dev_p_regs[] = { variable

Completed in 56 milliseconds