Searched refs:createSafeMappingEntries_PDE (Results 1 - 2 of 2) sorted by relevance
| /seL4-mcs-10.1.1/src/arch/x86/kernel/ |
| H A D | vspace.c | 920 createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_rights_t vmRights, vm_attributes_t attr, function
1070 map_ret = createSafeMappingEntries_PDE(paddr, vaddr, vmRights, vmAttr, vspace);
1191 map_ret = createSafeMappingEntries_PDE(paddr, vaddr, vmRights, vmAttr, vspace);
|
| /seL4-mcs-10.1.1/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1783 createSafeMappingEntries_PDE function
2554 map_ret = createSafeMappingEntries_PDE(capFBasePtr, vaddr,
2690 map_ret = createSafeMappingEntries_PDE(capFBasePtr, vaddr,
|
Completed in 41 milliseconds