Searched refs:get_kernel_size (Results 1 – 2 of 2) sorted by relevance
60 static size_t get_kernel_size(void) { in get_kernel_size() function
27 boot_reserve_add_range(get_kernel_base_phys(), get_kernel_size()); in boot_reserve_init()
Completed in 8 milliseconds