Searched refs:pude (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1519 static exception_t performPageDirectoryInvocationMap(cap_t cap, cte_t *ctSlot, pude_t pude, pude_t *pudSlot) argument
1522 *pudSlot = pude;
1564 pude_t pude, pude_t *pudSlot)
1569 *pudSlot = pude;
1882 pude_t pude; local
1959 pude = pude_pude_pd_new(pptr_to_paddr(PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(cap))));
1966 return performPageDirectoryInvocationMap(cap, cte, pude, pudSlot.pudSlot);
1563 performHugePageInvocationMap(asid_t asid, cap_t cap, cte_t *ctSlot, pude_t pude, pude_t *pudSlot) argument
|
Completed in 81 milliseconds