Lines Matching defs:gicr_base
36 void gicv3_rdistif_mark_core_awake(uintptr_t gicr_base)
42 assert((gicr_read_waker(gicr_base) & WAKER_CA_BIT) != 0U);
45 gicr_write_waker(gicr_base, gicr_read_waker(gicr_base) & ~WAKER_PS_BIT);
48 while ((gicr_read_waker(gicr_base) & WAKER_CA_BIT) != 0U) {
56 void gicv3_rdistif_mark_core_asleep(uintptr_t gicr_base)
59 gicr_write_waker(gicr_base, gicr_read_waker(gicr_base) | WAKER_PS_BIT);
62 while ((gicr_read_waker(gicr_base) & WAKER_CA_BIT) == 0U) {
73 uintptr_t gicr_base,
79 uintptr_t rdistif_base = gicr_base;
275 void gicv3_ppi_sgi_config_defaults(uintptr_t gicr_base)
281 ppi_regs_num = (unsigned int)((gicr_read_typer(gicr_base) >>
296 gicr_write_icenabler(gicr_base, i, ~0U);
300 gicr_wait_for_pending_write(gicr_base);
305 gicr_write_igroupr(gicr_base, i, ~0U);
312 gicr_write_ipriorityr(gicr_base, i << 2, GICD_IPRIORITYR_DEF_VAL);
319 gicr_write_icfgr(gicr_base, i, 0U);
326 unsigned int gicv3_secure_ppi_sgi_config_props(uintptr_t gicr_base,
350 gicr_clr_igroupr(gicr_base, intr_num);
357 gicr_set_igrpmodr(gicr_base, intr_num);
360 gicr_clr_igrpmodr(gicr_base, intr_num);
365 gicr_set_ipriorityr(gicr_base, intr_num,
373 gicr_set_icfgr(gicr_base, intr_num,
378 gicr_set_isenabler(gicr_base, intr_num);