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

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/
H A Diospace.h26 void deleteIOPageTable(cap_t cap);
68 deleteIOPageTable(cap_t cap) function
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/
H A Diospace.h47 void deleteIOPageTable(cap_t cap);
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Diospace.c171 deleteIOPageTable(slot->cap);
388 deleteIOPageTable(cap_t io_pt_cap) function
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Diospace.c152 deleteIOPageTable(cap);
412 void deleteIOPageTable(cap_t io_pt_cap) function
H A Dobjecttype.c241 deleteIOPageTable(cap);
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/object/
H A Dobjecttype.c246 deleteIOPageTable(cap);

Completed in 103 milliseconds