GITS_BASE_GPA
vm_paddr_t db_addr = GITS_BASE_GPA + GITS_TRANSLATER;
#define GICD_BASE_GPA (GITS_BASE_GPA + KVM_VGIC_V3_ITS_SIZE)
#define GITS_BASE_GVA ((volatile void *)GITS_BASE_GPA)
attr = GITS_BASE_GPA;
virt_map(vm, GITS_BASE_GPA, GITS_BASE_GPA,