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

/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1599 pte_range_t pte_entries; member in struct:create_mappings_pte_return
1624 ret.pte_entries.base = NULL; /* to avoid uninitialised warning */
1625 ret.pte_entries.length = 1;
1644 ret.pte_entries.base = lu_ret.ptSlot;
1646 if (unlikely(pte_ptr_get_pteType(ret.pte_entries.base) ==
1649 if (unlikely(pte_ptr_get_pteType(ret.pte_entries.base) == pte_pte_small
1650 && pte_pte_small_ptr_get_contiguous_hint(ret.pte_entries.base))) {
1664 ret.pte_entries.base = NULL; /* to avoid uninitialised warning */
1665 ret.pte_entries.length = PAGES_PER_LARGE_PAGE;
1684 ret.pte_entries
1896 performPageInvocationMapPTE(asid_t asid, cap_t cap, cte_t *ctSlot, pte_t pte, pte_range_t pte_entries) argument
[all...]

Completed in 28 milliseconds