Searched refs:ioport_bitmap (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dioport.h16 void setIOPortMask(void *ioport_bitmap, uint16_t low, uint16_t high, bool_t set);
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dioport.c313 void setIOPortMask(void *ioport_bitmap, uint16_t low, uint16_t high, bool_t set) argument
316 word_t_may_alias *bitmap = ioport_bitmap;

Completed in 153 milliseconds