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

/kernel/platform/pc/
A D	memory.cpp	282 static zx_status_t efi_range_init(boot_addr_range_t* range, efi_range_seq_t* seq) { in efi_range_init() function 321 status = efi_range_init(&range, &efi_seq); in platform_mem_range_init() 390 if ((efi_range_init(&range, &efi_seq) == ZX_OK) || in pc_mem_init()

Completed in 3 milliseconds

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