Searched defs:io (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dio.tex
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Ddecompile.py29 import io namespace
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A Dreg_allocLib.sml221 val io = map in_out xs value
226 val io = map invent_new_temps io value
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/
H A Dvcpu.h264 word_t io[VCPU_IOBITMAP_SIZE / sizeof(word_t)]; member in struct:vcpu
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DPosix.sml44 val io : syserror value
642 and io = fromWord(getConst 16) value

Completed in 67 milliseconds