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

/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1606 pde_range_t pde_entries; member in struct:create_mappings_pde_return
1724 ret.pde_entries.base = lookupPDSlot(pd, vaddr);
1725 ret.pde_entries.length = 1;
1735 pde_ptr_get_pdeType(ret.pde_entries.base);
1739 pde_pde_section_ptr_get_size(ret.pde_entries.base) != 0))) {
1741 pde_pde_section_ptr_get_contiguous_hint(ret.pde_entries.base) != 0))) {
1754 ret.pde_entries.base = lookupPDSlot(pd, vaddr);
1755 ret.pde_entries.length = SECTIONS_PER_SUPER_SECTION;
1766 pde_get_pdeType(ret.pde_entries.base[i]);
1770 pde_pde_section_get_size(ret.pde_entries
1930 performPageInvocationMapPDE(asid_t asid, cap_t cap, cte_t *ctSlot, pde_t pde, pde_range_t pde_entries) argument
[all...]

Completed in 81 milliseconds