Home
last modified time | relevance | path

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

/seL4-master/src/arch/x86/object/
A Dioport.c54 setIOPortMask(x86KSAllocatedIOPorts, first_port, last_port, false); in freeIOPortRange()
66 if ((x86KSAllocatedIOPorts[low_word] & make_pattern(low_index, high_index + 1)) != 0) { in isIOPortRangeFree()
72 if ((x86KSAllocatedIOPorts[low_word] & make_pattern(low_index, CONFIG_WORD_SIZE)) != 0) { in isIOPortRangeFree()
78 if (x86KSAllocatedIOPorts[low_word] != 0) { in isIOPortRangeFree()
84 if ((x86KSAllocatedIOPorts[low_word] & make_pattern(0, high_index + 1)) != 0) { in isIOPortRangeFree()
92 setIOPortMask(x86KSAllocatedIOPorts, first_port, last_port, true); in invokeX86PortControl()
/seL4-master/src/arch/x86/model/
A Dstatedata.c71 word_t x86KSAllocatedIOPorts[NUM_IO_PORTS / CONFIG_WORD_SIZE]; variable
/seL4-master/include/arch/x86/arch/model/
A Dstatedata.h90 extern word_t x86KSAllocatedIOPorts[NUM_IO_PORTS / CONFIG_WORD_SIZE];

Completed in 4 milliseconds