Home
last modified time | relevance | path

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

/seL4-master/include/arch/x86/arch/object/
A Dioport.h18 exception_t decodeX86PortInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t…
/seL4-master/src/arch/x86/object/
A Dioport.c232 exception_t decodeX86PortInvocation( in decodeX86PortInvocation() function
A Dobjecttype.c521 return decodeX86PortInvocation(invLabel, length, cptr, slot, cap, call, buffer); in Arch_decodeInvocation()

Completed in 10 milliseconds