GICD_BASE_GPA
#define GICR_BASE_GPA (GICD_BASE_GPA + KVM_VGIC_V3_DIST_SIZE)
#define GICD_BASE_GVA ((volatile void *)GICD_BASE_GPA)
attr = GICD_BASE_GPA;
virt_map(vm, GICD_BASE_GPA, GICD_BASE_GPA, nr_gic_pages);