Searched defs:first_port (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/arch/x86/object/
A D	ioport.c	52 void freeIOPortRange(uint16_t first_port, uint16_t last_port) in freeIOPortRange() 57 static bool_t isIOPortRangeFree(uint16_t first_port, uint16_t last_port) in isIOPortRangeFree() 90 static exception_t invokeX86PortControl(uint16_t first_port, uint16_t last_port, cte_t *ioportSlot,… in invokeX86PortControl() 112 uint16_t first_port; in decodeX86PortControlInvocation() local
A D	objecttype.c	551 uint16_t first_port = cap_io_port_cap_get_capIOPortFirstPort(cap); in Arch_postCapDeletion() local

Completed in 15 milliseconds

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