Lines Matching refs:gicr_vpendbaser

79     if (!FIELD_EX64(cs->gicr_vpendbaser, GICR_VPENDBASER, VALID)) {  in vcpu_resident()
82     return vptaddr == (cs->gicr_vpendbaser & R_GICR_VPENDBASER_PHYADDR_MASK);  in vcpu_resident()
244     if (!FIELD_EX64(cs->gicr_vpendbaser, GICR_VPENDBASER, VALID)) {  in gicv3_redist_update_vlpi_only()
250     ptbase = cs->gicr_vpendbaser & R_GICR_VPENDBASER_PHYADDR_MASK;  in gicv3_redist_update_vlpi_only()
266     bool oldvalid = FIELD_EX64(cs->gicr_vpendbaser, GICR_VPENDBASER, VALID);  in gicr_write_vpendbaser()
287         if (cs->gicr_vpendbaser ^ newval) {  in gicr_write_vpendbaser()
295         cs->gicr_vpendbaser = newval;  in gicr_write_vpendbaser()
318     cs->gicr_vpendbaser = newval;  in gicr_write_vpendbaser()
474         *data = extract64(cs->gicr_vpendbaser, 0, 32);  in gicr_readl()
477         *data = extract64(cs->gicr_vpendbaser, 32, 32);  in gicr_readl()
640         gicr_write_vpendbaser(cs, deposit64(cs->gicr_vpendbaser, 0, 32, value));  in gicr_writel()
643         gicr_write_vpendbaser(cs, deposit64(cs->gicr_vpendbaser, 32, 32, value));  in gicr_writel()
672         *data = cs->gicr_vpendbaser;  in gicr_readll()
1034     vptbase = FIELD_EX64(cs->gicr_vpendbaser, GICR_VPENDBASER, PHYADDR) << 16;  in gicv3_redist_vlpi_pending()