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

/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1717 pde_tag_t currentPDEType; local
1734 currentPDEType =
1736 if (unlikely(currentPDEType != pde_pde_invalid &&
1737 (currentPDEType != pde_pde_section ||
1765 currentPDEType =
1767 if (unlikely(currentPDEType != pde_pde_invalid &&
1768 (currentPDEType != pde_pde_section ||

Completed in 26 milliseconds