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

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/
H A Diospace.h27 void clearIOPageDirectory(cap_t cap);
73 clearIOPageDirectory(cap_t cap) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/object/
H A Dobjecttype.c240 clearIOPageDirectory(cap);
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Diospace.c457 void clearIOPageDirectory(cap_t cap) function

Completed in 39 milliseconds