Searched refs:decodeX86PortInvocation (Results 1 – 3 of 3) sorted by relevance
/seL4-master/include/arch/x86/arch/object/ |
A D | ioport.h | 18 exception_t decodeX86PortInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t…
|
/seL4-master/src/arch/x86/object/ |
A D | ioport.c | 232 exception_t decodeX86PortInvocation( in decodeX86PortInvocation() function
|
A D | objecttype.c | 521 return decodeX86PortInvocation(invLabel, length, cptr, slot, cap, call, buffer); in Arch_decodeInvocation()
|
Completed in 10 milliseconds