Searched refs:efi_range_reset (Results 1 – 1 of 1) sorted by relevance

/kernel/platform/pc/
A D	memory.cpp	218 static void efi_range_reset(boot_addr_range_t* range) { in efi_range_reset() function 253 efi_range_reset(range); in efi_range_advance() 285 range->reset = &efi_range_reset; in efi_range_init()

Completed in 17 milliseconds

Last Index update Fri Aug 22 02:51:41 CST 2025