Home
last modified time | relevance | path

Searched refs:performPageInvocationUnmapIO (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/arch/arm/arch/object/
A Diospace.h18 exception_t performPageInvocationUnmapIO(cap_t cap, cte_t *slot);
44 static inline exception_t performPageInvocationUnmapIO(cap_t cap, cte_t *slot) in performPageInvocationUnmapIO() function
/seL4-master/src/arch/arm/object/
A Diospace.c457 exception_t performPageInvocationUnmapIO( in performPageInvocationUnmapIO() function
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c2382 return performPageInvocationUnmapIO(cap, cte);

Completed in 20 milliseconds