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

/seL4-camkes-master/kernel/src/arch/arm/32/machine/
H A Dcapdl.c47 switch (pte_ptr_get_pteType(pte)) {
120 switch (pte_ptr_get_pteType(pte)) {
230 switch (pte_ptr_get_pteType(pte)) {
409 switch (pte_ptr_get_pteType(pte)) {
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c801 switch (pte_ptr_get_pteType(pte)) {
1393 if (unlikely(pte_ptr_get_pteType(lu_ret.ptSlot) != pte_pte_small)) {
1420 if (unlikely(pte_ptr_get_pteType(lu_ret.ptSlot) != pte_pte_large)) {
1427 if (unlikely(pte_ptr_get_pteType(lu_ret.ptSlot) != pte_pte_small)) {
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
1798 return pte_ptr_get_pteType(pte) != pte_pte_invalid;
2874 if (ptSlot.status == EXCEPTION_NONE && pte_ptr_get_pteType(ptSlot.ptSlot) == pte_pte_small) {
2882 if (ptSlot.status == EXCEPTION_NONE && pte_ptr_get_pteType(ptSlot.ptSlot) == pte_pte_small) {
2885 } else if (ptSlot.status == EXCEPTION_NONE && pte_ptr_get_pteType(ptSlo
[all...]
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h413 static inline word_t PURE pte_ptr_get_pteType(pte_t *pte_ptr) function

Completed in 35 milliseconds