Searched defs:avail (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dboot_sys.c578 p_region_t avail; local
/seL4-l4v-master/HOL4/polyml/basis/
H A DLibraryIOSupport.sml279 fun avail () = function
391 fun avail () = function
H A DTextIO.sml375 and avail () : int option = SOME(stringLength - ! posN) function

Completed in 80 milliseconds