Searched refs:physical_base_address (Results 1 – 1 of 1) sorted by relevance
694 uint64_t physical_base_address = 0, gich = 0, gicv = 0; in build_madt() local700 physical_base_address = memmap[VIRT_GIC_CPU].base; in build_madt()719 build_append_int_noprefix(table_data, physical_base_address, 8); in build_madt()