Searched refs:db_start (Results 1 – 1 of 1) sorted by relevance
2754 hwaddr db_start = 0, db_end = 0; in virt_machine_device_pre_plug_cb() local2768 db_start = base_memmap[VIRT_GIC_ITS].base + 0x10000; in virt_machine_device_pre_plug_cb()2774 db_start = base_memmap[VIRT_GIC_V2M].base; in virt_machine_device_pre_plug_cb()2775 db_end = db_start + base_memmap[VIRT_GIC_V2M].size - 1; in virt_machine_device_pre_plug_cb()2779 db_start, db_end, in virt_machine_device_pre_plug_cb()