Searched defs:present (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-master/HOL4/tools/Holmake/tests/coproduct/ |
H A D | selftest.sml | 11 fun present n = OS.FileSys.access(n, [OS.FileSys.A_READ]) function [all...] |
/seL4-l4v-master/seL4/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 39 pde_pde_large_new_phys(uint32_t page_base_address, uint32_t pat, uint32_t avl, uint32_t global, uint32_t dirty, uint32_t accessed, uint32_t cache_disabled, uint32_t write_through, uint32_t super_user, uint32_t read_write, uint32_t present) argument
|
/seL4-l4v-master/HOL4/Manual/Guide/ |
H A D | guide.tex | [all...] |
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
H A D | CODEGEN_PARSETREE.sml | 232 val (present, absent) = List.partition inReferenced (!recursiveRef) value
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | FinalPolyML.sml | 783 val present = searchDir() value
|
Completed in 132 milliseconds