Searched refs:outd (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/arch/x86/
H A Dsyscall.c48 outd(port, data);
/barrelfish-master/include/mackerel/
H A Dio.h54 outd(base+offset, v);
/barrelfish-master/kernel/include/arch/x86/
H A Dx86.h134 static inline void outd(uint16_t port, uint32_t data) function

Completed in 34 milliseconds