Lines Matching defs:gicr_base
30 uintptr_t gicr_base = 0;
41 gicr_base = gicv3_driver_data->rdistif_base_addrs[i];
42 assert(gicr_base);
43 assert(gicr_read_waker(gicr_base) & WAKER_CA_BIT);
44 assert(gicr_read_waker(gicr_base) & WAKER_PS_BIT);
47 gicr_base = gicv3_driver_data->rdistif_base_addrs[rdist_proc_num];
61 gicr_write_waker(gicr_base, gicr_read_waker(gicr_base) | WAKER_SL_BIT);
64 while (!(gicr_read_waker(gicr_base) & WAKER_QSC_BIT))
74 uintptr_t gicr_base;
84 gicr_base = gicv3_driver_data->rdistif_base_addrs[rdist_proc_num];
85 assert(gicr_base);
93 if (!(gicr_read_waker(gicr_base) & WAKER_SL_BIT))
102 assert(gicr_read_waker(gicr_base) & WAKER_QSC_BIT);
105 gicr_write_waker(gicr_base, gicr_read_waker(gicr_base) & ~WAKER_SL_BIT);
112 while (gicr_read_waker(gicr_base) & WAKER_QSC_BIT)