Lines Matching defs:vtcr
335 static void vtcr_to_walk_info(u64 vtcr, struct s2_walk_info *wi)
337 wi->t0sz = vtcr & TCR_EL2_T0SZ_MASK;
339 switch (vtcr & VTCR_EL2_TG0_MASK) {
349 wi->sl = FIELD_GET(VTCR_EL2_SL0_MASK, vtcr);
352 ps_to_output_size(FIELD_GET(VTCR_EL2_PS_MASK, vtcr)));
358 u64 vtcr = vcpu_read_sys_reg(vcpu, VTCR_EL2);
371 vtcr_to_walk_info(vtcr, &wi);
469 u64 tmp, sz = 0, vtcr = mmu->tlb_vtcr;
475 switch (vtcr & VTCR_EL2_TG0_MASK) {
492 switch (vtcr & VTCR_EL2_TG0_MASK) {
616 u64 vttbr, vtcr, hcr;
621 vtcr = vcpu_read_sys_reg(vcpu, VTCR_EL2);
650 vtcr == mmu->tlb_vtcr)