Lines Matching defs:base
48 static void gicd_dchipr_wait_for_power_update_progress(uintptr_t base)
52 while ((read_gicd_dchipr(base) & GICD_DCHIPR_PUP_BIT) != 0U) {
64 static void set_gicd_dchipr_rt_owner(uintptr_t base, unsigned int rt_owner)
70 if ((gicd_read_ctlr(base) &
79 gicd_dchipr_wait_for_power_update_progress(base);
81 write_gicd_dchipr(base, read_gicd_dchipr(base) |
85 gicd_dchipr_wait_for_power_update_progress(base);
92 static void set_gicd_chipr_n(uintptr_t base,
99 unsigned int gicd_iidr_val = gicd_read_iidr(base);
106 if ((gicd_read_ctlr(base) &
162 gicd_dchipr_wait_for_power_update_progress(base);
168 write_gicd_chipr_n(base, chip_id, chipr_n_val);
174 gicd_dchipr_wait_for_power_update_progress(base);
180 if (read_gicd_chipr_n(base, chip_id) != chipr_n_val) {
186 if (((read_gicd_chipsr(base) & GICD_CHIPSR_RTS_MASK) >>