Searched refs:sel4utils_get_image_region (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c224 void sel4utils_get_image_region(uintptr_t *va_start, uintptr_t *va_end) function
240 sel4utils_get_image_region(&va_start, &va_end);
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dbootstrap.c224 void sel4utils_get_image_region(uintptr_t *va_start, uintptr_t *va_end) function
240 sel4utils_get_image_region(&va_start, &va_end);
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dvspace.h347 void sel4utils_get_image_region(uintptr_t *va_start, uintptr_t *va_end);
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dvspace.h347 void sel4utils_get_image_region(uintptr_t *va_start, uintptr_t *va_end);

Completed in 27 milliseconds