Searched refs:db_start (Results 1 – 1 of 1) sorted by relevance
2866 hwaddr db_start = 0, db_end = 0; in virt_machine_device_pre_plug_cb() local2880 db_start = base_memmap[VIRT_GIC_ITS].base + 0x10000; in virt_machine_device_pre_plug_cb()2886 db_start = base_memmap[VIRT_GIC_V2M].base; in virt_machine_device_pre_plug_cb()2887 db_end = db_start + base_memmap[VIRT_GIC_V2M].size - 1; in virt_machine_device_pre_plug_cb()2891 db_start, db_end, in virt_machine_device_pre_plug_cb()