Searched refs:rdist_pendbase (Results 1 – 2 of 2) sorted by relevance
208 uint64_t rdist_pendbase; member
259 *r = vreg_reg64_extract(v->arch.vgic.rdist_pendbase, info); in __vgic_v3_rdistr_rd_mmio_read()580 reg = v->arch.vgic.rdist_pendbase; in __vgic_v3_rdistr_rd_mmio_write()583 v->arch.vgic.rdist_pendbase = reg; in __vgic_v3_rdistr_rd_mmio_write()
Completed in 11 milliseconds