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

/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHoldep.sml32 fun access {assumes, includes} cdir s ext = let function
H A Dbasis2002.sml553 val access : string * access_mode list -> bool value
1041 datatype access_mode = datatype access type
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Ddebug.c476 convertAccessToArch(word_t access) argument
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DOS.sml48 val access : (string * access_mode list) -> bool value
857 fun access (s, m) = doIo(66, s, List.foldl mapAccess 0w0 m) function
H A DPosix.sml288 val access : string * access_mode list -> bool value
1180 fun access(name, []) = doCall(58, (name, SysWord.toInt(fOK))) function

Completed in 107 milliseconds