Searched refs:GICR_BASE_GVA (Results 1 – 2 of 2) sorted by relevance
27 #define GICR_BASE_GVA ((volatile void *)GICR_BASE_GPA) macro
56 return GICR_BASE_GVA + cpu * SZ_64K * 2; in gicr_base_cpu()