unit
osenv_layer


unit osenv_layer = {
imports[
string : String_T
iids : { oskit_iunknown_iid
oskit_isabus_iid
oskit_isa_driver_iid
oskit_driver_iid
oskit_device_iid
oskit_bus_iid
oskit_timer_iid
oskit_clock_iid
oskit_mem_iid
oskit_services_iid }
panic : Panic_T
stdout : Stdout_T
raw_rtc : RTC_T
base_irq : IRQ_T
softint : SoftInt_T
pic : PIC_T
memobj : MemObj_T
malloc : Malloc_T
phys_lmm : PhysLMM_T
vm : VM_T
sprintf : Sprintf_T
];
exports[
clock : OSEnvClock_T
driver : OSEnvDriver_T
device : OSEnvDevice_T
intr : OSEnvIntr_T
ioport : OSEnvIOPort_T
irq : OSEnvIRQ_T
softirq : OSEnvSoftIRQ_T
isa : OSEnvISA_T
log : OSEnvLog_T
mem : OSEnvMem_T
panic2 : OSEnvPanic_T
rtc : OSEnvRTC_T
timer : OSEnvTimer_T
pci : OSEnvPCI_T
];
...
}


Rendered using Haskell HTML Combinators