Searched refs:boot_addr_range_t (Results 1 – 1 of 1) sorted by relevance
88 } boot_addr_range_t; typedef91 static void boot_addr_range_reset(boot_addr_range_t* range) { in boot_addr_range_reset()103 static zx_status_t mem_arena_init(boot_addr_range_t* range) { in mem_arena_init()171 static void e820_range_reset(boot_addr_range_t* range) { in e820_range_reset()178 static void e820_range_advance(boot_addr_range_t* range) { in e820_range_advance()196 static zx_status_t e820_range_init(boot_addr_range_t* range, e820_range_seq_t* seq) { in e820_range_init()218 static void efi_range_reset(boot_addr_range_t* range) { in efi_range_reset()246 static void efi_range_advance(boot_addr_range_t* range) { in efi_range_advance()282 static zx_status_t efi_range_init(boot_addr_range_t* range, efi_range_seq_t* seq) { in efi_range_init()317 boot_addr_range_t range; in platform_mem_range_init()[all …]
Completed in 4 milliseconds