Searched refs:p_region_t (Results 1 - 25 of 31) sorted by relevance

12

/seL4-mcs-10.1.1/src/arch/arm/32/machine/
H A Dhardware.c31 return sizeof(avail_p_regs) / sizeof(p_region_t);
37 return sizeof(dev_p_regs) / sizeof(p_region_t);
40 BOOT_CODE p_region_t get_dev_p_reg(word_t i)
45 BOOT_CODE p_region_t get_avail_p_reg(word_t i)
/seL4-mcs-10.1.1/src/arch/arm/64/machine/
H A Dhardware.c33 return sizeof(avail_p_regs) / sizeof(p_region_t);
39 return sizeof(dev_p_regs) / sizeof(p_region_t);
42 BOOT_CODE p_region_t get_dev_p_reg(word_t i)
47 BOOT_CODE p_region_t get_avail_p_reg(word_t i)
/seL4-mcs-10.1.1/include/
H A Dbasic_types.h31 } p_region_t; typedef in typeref:struct:p_region
39 #define P_REG_EMPTY (p_region_t){ .start = 0, .end = 0 }
H A Dmachine.h33 paddr_to_pptr_reg(p_region_t p_reg)
40 static inline p_region_t CONST
43 return (p_region_t) {
/seL4-mcs-10.1.1/include/plat/allwinnerA20/plat/machine/
H A Dhardware.h48 static const p_region_t BOOT_RODATA avail_p_regs[] = {
53 static const p_region_t BOOT_RODATA dev_p_regs[] = {
/seL4-mcs-10.1.1/include/arch/x86/arch/kernel/
H A Dboot.h22 p_region_t list[MAX_NUM_FREEMEM_REG];
26 p_region_t p_reg; /* region where the userland image lies in */
38 p_region_t boot_mem_reuse_p_reg,
53 bool_t add_allocated_p_region(p_region_t reg);
/seL4-mcs-10.1.1/include/plat/bcm2837/plat/machine/
H A Dhardware.h52 const p_region_t BOOT_RODATA avail_p_regs[] = {
58 const p_region_t BOOT_RODATA dev_p_regs[] = {
/seL4-mcs-10.1.1/include/plat/tx2/plat/machine/
H A Dhardware.h73 static const p_region_t BOOT_RODATA avail_p_regs[] = {
85 static const p_region_t BOOT_RODATA dev_p_regs[] = {
/seL4-mcs-10.1.1/include/plat/zynqmp/plat/machine/
H A Dhardware.h58 const p_region_t BOOT_RODATA avail_p_regs[] = {
63 const p_region_t BOOT_RODATA dev_p_regs[] = {
/seL4-mcs-10.1.1/include/plat/am335x/plat/machine/
H A Dhardware.h66 static const p_region_t BOOT_RODATA avail_p_regs[] = {
71 static const p_region_t BOOT_RODATA dev_p_regs[] = {
/seL4-mcs-10.1.1/include/plat/hikey/plat/machine/
H A Dhardware.h48 static const p_region_t BOOT_RODATA avail_p_regs[] = {
52 static const p_region_t BOOT_RODATA dev_p_regs[] = {
/seL4-mcs-10.1.1/include/plat/spike/plat/machine/
H A Dhardware.h62 p_region_t get_avail_p_reg(unsigned int i);
63 bool_t add_avail_p_reg(p_region_t reg);
/seL4-mcs-10.1.1/src/plat/spike/machine/
H A Dhardware.c39 static p_region_t BOOT_DATA avail_p_regs[MAX_AVAIL_P_REGS];
46 BOOT_CODE p_region_t get_avail_p_reg(unsigned int i)
51 BOOT_CODE bool_t add_avail_p_reg(p_region_t reg)
/seL4-mcs-10.1.1/include/arch/arm/arch/
H A Dmachine.h22 p_region_t get_avail_p_reg(word_t i);
24 p_region_t get_dev_p_reg(word_t i);
/seL4-mcs-10.1.1/include/plat/tx1/plat/machine/
H A Dhardware.h84 static const p_region_t BOOT_RODATA avail_p_regs[] = {
89 static const p_region_t BOOT_RODATA dev_p_regs[] = {
/seL4-mcs-10.1.1/include/plat/zynq7000/plat/machine/
H A Dhardware.h55 static const p_region_t BOOT_RODATA avail_p_regs[] = {
60 static const p_region_t BOOT_RODATA dev_p_regs[] = {
/seL4-mcs-10.1.1/include/plat/imx31/plat/machine/
H A Dhardware.h55 static const p_region_t BOOT_RODATA avail_p_regs[] = {
60 static const p_region_t BOOT_RODATA dev_p_regs[] = {
/seL4-mcs-10.1.1/include/plat/imx7/plat/machine/
H A Dhardware.h54 static const p_region_t BOOT_RODATA avail_p_regs[] = {
65 const p_region_t BOOT_RODATA dev_p_regs[] = {
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot.c77 p_region_t regs[NUM_RESERVED_REGIONS];
105 static UNUSED BOOT_CODE bool_t p_region_overlaps(p_region_t reg)
118 add_allocated_p_region(p_region_t reg)
190 paddr_to_pptr_reg((p_region_t) {
202 paddr_to_pptr_reg((p_region_t) {
218 init_freemem(p_region_t ui_p_reg, mem_p_regs_t mem_p_regs)
236 insert_region(paddr_to_pptr_reg((p_region_t) {
249 p_region_t boot_mem_reuse_p_reg,
H A Dboot_sys.c59 p_region_t avail_p_reg; /* region of available physical memory on platform */
60 p_region_t ki_p_reg; /* region where the kernel image is in */
199 p_region_t boot_mem_reuse_p_reg;
251 add_mem_p_regs(p_region_t reg)
293 if (!add_mem_p_regs((p_region_t) {
398 p_region_t ui_p_regs;
635 p_region_t avail;
739 if (!add_mem_p_regs((p_region_t) {
/seL4-mcs-10.1.1/include/plat/imx6/plat/machine/
H A Dhardware.h54 static const p_region_t BOOT_RODATA avail_p_regs[] = {
64 static const p_region_t BOOT_RODATA dev_p_regs[] = {
/seL4-mcs-10.1.1/include/plat/omap3/plat/machine/
H A Dhardware.h49 static const p_region_t BOOT_RODATA avail_p_regs[] = {
54 static const p_region_t BOOT_RODATA dev_p_regs[] = {
/seL4-mcs-10.1.1/src/arch/riscv/kernel/
H A Dboot.c240 p_region_t boot_mem_reuse_p_reg = ((p_region_t) {
244 region_t ui_reg = paddr_to_pptr_reg((p_region_t) {
247 region_t dtb_reg = paddr_to_pptr_reg((p_region_t) {
/seL4-mcs-10.1.1/src/plat/pc99/machine/
H A Dhardware.c28 if (!add_allocated_p_region( (p_region_t) {
/seL4-mcs-10.1.1/include/plat/exynos4/plat/machine/
H A Dhardware.h57 static const p_region_t BOOT_RODATA avail_p_regs[] = {
62 static const p_region_t BOOT_RODATA dev_p_regs[] = {

Completed in 76 milliseconds

12