Searched defs:region (Results 1 - 7 of 7) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/ | ||
H A D | basic_types.h | 23 typedef struct region { struct |
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ | ||
H A D | Region.sig | 27 type region type 29 val region: 'a t -> region value |
H A D | Region.sml | 65 type region = t type 70 fun region (T {region, ...}) = region function [all...] |
/seL4-l4v-10.1.1/seL4/include/kernel/ | ||
H A D | boot.h | 72 seL4_SlotRegion region; member in struct:create_frames_of_region_ret |
/seL4-l4v-10.1.1/HOL4/polyml/basis/ | ||
H A D | IntArray2.sml | 28 type region = { type 71 type region = elem region type 87 type region = elem region type 102 type region type 117 type region = elem region type 132 type region = elem region type [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ | ||
H A D | scanaddrs.cpp | 147 void ScanAddress::ScanAddressesInRegion(PolyWord *region, PolyWord *end) argument |
H A D | xwindows.cpp | 3026 MLXRectangle *region; member in struct:__anon98 3053 MLXRectangle *region; member in struct:__anon101 |
Completed in 85 milliseconds