Searched refs:v_region_t (Results 1 - 17 of 17) sorted by relevance

/seL4-mcs-10.1.1/include/arch/x86/arch/kernel/
H A Delf.h21 v_region_t elf_getMemoryBounds(Elf_Header_t* elfFile);
H A Dvspace.h71 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
/seL4-mcs-10.1.1/include/
H A Dbasic_types.h36 } v_region_t; typedef in typeref:struct:v_region
/seL4-mcs-10.1.1/src/arch/x86/32/kernel/
H A Delf.c30 BOOT_CODE v_region_t
34 v_region_t elf_reg;
H A Dvspace.c442 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg)
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/
H A Delf.c29 BOOT_CODE v_region_t
32 v_region_t elf_reg;
H A Dvspace.c697 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg)
/seL4-mcs-10.1.1/include/arch/arm/arch/kernel/
H A Dvspace.h22 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
/seL4-mcs-10.1.1/include/arch/riscv/arch/kernel/
H A Dvspace.h26 cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg);
/seL4-mcs-10.1.1/include/kernel/
H A Dboot.h90 v_region_t ui_v_reg,
/seL4-mcs-10.1.1/src/arch/arm/kernel/
H A Dboot.c380 v_region_t ui_v_reg;
381 v_region_t it_v_reg;
/seL4-mcs-10.1.1/src/arch/riscv/kernel/
H A Dboot.c256 v_region_t ui_v_reg;
257 v_region_t it_v_reg;
H A Dvspace.c239 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg)
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot.c280 v_region_t ui_v_reg;
281 v_region_t it_v_reg;
H A Dboot_sys.c125 v_region_t v_reg;
/seL4-mcs-10.1.1/src/arch/arm/32/kernel/
H A Dvspace.c553 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg)
/seL4-mcs-10.1.1/src/arch/arm/64/kernel/
H A Dvspace.c490 create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg)

Completed in 150 milliseconds