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