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

/seL4-master/include/arch/x86/arch/object/
A D	iospace.h	38 exception_t decodeX86IOMapInvocation(word_t length, cte_t *slot, cap_t cap, word_t *buffer);
/seL4-master/src/arch/x86/object/
A D	iospace.c	296 exception_t decodeX86IOMapInvocation( in decodeX86IOMapInvocation() function
/seL4-master/src/arch/x86/kernel/
A D	vspace.c	1080 return decodeX86IOMapInvocation(length, cte, cap, buffer); in decodeX86FrameInvocation()

Completed in 14 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023