NAME | SYNOPSIS | FEATURES | DESCRIPTION | EXTENDED DESCRIPTION | ATTRIBUTES | SEE ALSO
#include <dki/dki.h> #include <dki/f_dki.h>
DKI
Provides Driver/Kernel interface services.
The Drivers/Kernel Interface (DKI) defines all services provided by the ChorusOS microkernel in order to write driver components.
A "Common DKI" API, which defines services common to all platforms and processors, and which can be used by all kinds of drivers, regardless of the layer level.
Various "Processor family specific DKI" APIs, which are defined and available only for a given processor family. These should be used only by the lowest-level drivers, that is, bus and device drivers that are directly connected to the processor's local bus.
Currently, "Processor family specific DKI" APIs are defined for the following processors:
PowerPC 60x (603x, 604x, MPC750)
Intel (ix86 ...)
UltraSPARC IIi
See attributes(5) for descriptions of the following attributes:
ATTRIBUTE TYPE | ATTRIBUTE VALUE |
---|---|
Interface Stability | Evolving |
Common DKI
svDkiOpen(9DKI), dtreeNodeRoot(9DKI), svDriverRegister(9DKI), svDeviceRegister(9DKI), svMemAlloc(9DKI), svPhysAlloc(9DKI), svPhysMap(9DKI), svPhysMap_powerpc(9DKI), svDkiThreadCall(9DKI), svTimeoutSet(9DKI), usecBusyWait(9DKI), loadSwap_16(9DKI), DISABLE_PREEMPT(9DKI), imsIntrMask_f(9DKI)
PowerPC DKI
loadSwapEieio_16(9DKI), loadSwapEieio_16_powerpc(9DKI), svIntrAttach(9DKI), dataCacheBlockFlush(9DKI), dataCacheBlockFlush_powerpc(9DKI), svAsyncExcepAttach(9DKI), svAsyncExcepAttach_usparc(9DKI)
Intel ix86
svIntrAttach_x86(9DKI), svPhysMap_usparc(9DKI), ioLoad8_x86(9DKI), ioLoad8(9DKI)
UltraSPARC IIi
svIntrAttach_usparc(9DKI), svIntrAttach_powerpc(9DKI), svPhysMap_x86(9DKI), icacheInval_usparc(9DKI), icacheInval(9DKI), load_sync_8_usparc(9DKI), loadSwap_16(9DKI)
NAME | SYNOPSIS | FEATURES | DESCRIPTION | EXTENDED DESCRIPTION | ATTRIBUTES | SEE ALSO