Searched refs:copyGlobalMappings (Results 1 - 11 of 11) sorted by relevance

/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h47 void copyGlobalMappings(pde_t *newPD);
/seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h42 void copyGlobalMappings(pte_t *newlvl1pt);
/seL4-camkes-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c169 copyGlobalMappings(regionBase);
/seL4-camkes-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c289 copyGlobalMappings(PML4_PTR(regionBase));
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h79 void copyGlobalMappings(vspace_root_t *new_vspace);
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c187 void copyGlobalMappings(vspace_root_t *new_vspace) function
H A Dvspace.c441 copyGlobalMappings((vspace_root_t *)rootserver.vspace);
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c267 copyGlobalMappings(PTE_PTR(rootserver.vspace));
346 void copyGlobalMappings(pte_t *newLvl1pt) function
485 copyGlobalMappings(regionBase);
/seL4-camkes-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c502 copyGlobalMappings((pde_t *)regionBase);
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c698 copyGlobalMappings(PML4_PTR(rootserver.vspace));
748 void copyGlobalMappings(vspace_root_t *new_vspace) function
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c540 copyGlobalMappings(PDE_PTR(rootserver.vspace));
1235 void copyGlobalMappings(pde_t *newPD) function

Completed in 119 milliseconds