microkernel
microkernel copied to clipboard
[dev] Device System Kernel Interface
Description
-
[ ]
intcl()
: controls the behavior of an interrupt -
[ ]
intwait()
: waits for the delivery of an interrupt -
[ ]
intreturn()
: returns from an interrupt handler -
[ ]
iograb()
: allocates an I/O port -
[ ]
iorelease()
: releases an I/O port -
[ ]
ioread()
: reads from an I/O port -
[ ]
iowrite()
writes to an I/O port -
[ ]
mmiograb()
: allocates a memory mapped I/O region -
[ ]
mmiorelease()
: releases a memory mapped I/O region -
[ ]
mmioread()
: reads from an memory mapped I/O region -
[ ]
mmiowrite()
: writes to a memory mapped I/O region`