Searched defs:default (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/tools/seL4/cmake-tool/helpers/ | ||
| H A D | platform_sift.py | 250 default='memory_region', variable 253 default='num_memory_regions', variable 256 default='memory_region', variable |
Completed in 23 milliseconds