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

/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c435 static BOOT_CODE void map_it_pud_cap(cap_t vspace_cap, cap_t pud_cap) argument
438 pude_t *pud = PUD_PTR(cap_page_upper_directory_cap_get_capPUDBasePtr(pud_cap));
439 vptr_t vptr = cap_page_upper_directory_cap_get_capPUDMappedAddress(pud_cap);
441 assert(cap_page_upper_directory_cap_get_capPUDIsMapped(pud_cap));

Completed in 29 milliseconds