Searched refs:paddr_min (Results 1 - 2 of 2) sorted by relevance
/seL4-refos-master/seL4_tools/elfloader-tool/src/ |
H A D | common.c | 65 static void ensure_phys_range_valid(char const *const name, paddr_t paddr_min, argument 72 if (regions_overlap(paddr_min, paddr_max - 1, (word_t)_text, (word_t)_end - 1)) {
|
/seL4-refos-master/tools/elfloader/src/ |
H A D | common.c | 65 static void ensure_phys_range_valid(char const *const name, paddr_t paddr_min, argument 72 if (regions_overlap(paddr_min, paddr_max - 1, (word_t)_text, (word_t)_end - 1)) {
|
Completed in 136 milliseconds