Searched refs:ensure_phys_range_valid (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Dcommon.c65 static void ensure_phys_range_valid(char const *const name, paddr_t paddr_min, function
216 ensure_phys_range_valid(name, dest_paddr, dest_paddr + image_size);
352 ensure_phys_range_valid("DTB", next_phys_addr,
/seL4-refos-master/tools/elfloader/src/
H A Dcommon.c65 static void ensure_phys_range_valid(char const *const name, paddr_t paddr_min, function
216 ensure_phys_range_valid(name, dest_paddr, dest_paddr + image_size);
352 ensure_phys_range_valid("DTB", next_phys_addr,

Completed in 28 milliseconds