Searched refs:hcr (Results 1 – 3 of 3) sorted by relevance
697 u32 hcr; in __vgic_v3_bump_eoicount() local699 hcr = read_gicreg(ICH_HCR_EL2); in __vgic_v3_bump_eoicount()700 hcr += 1 << ICH_HCR_EOIcount_SHIFT; in __vgic_v3_bump_eoicount()701 write_gicreg(hcr, ICH_HCR_EL2); in __vgic_v3_bump_eoicount()
876 unsigned long *hcr; in vcpu_interrupt_line() local883 hcr = vcpu_hcr(vcpu); in vcpu_interrupt_line()885 set = test_and_set_bit(bit_index, hcr); in vcpu_interrupt_line()887 set = test_and_clear_bit(bit_index, hcr); in vcpu_interrupt_line()
2220 unsigned long hcr = *vcpu_hcr(vcpu); in kvm_set_way_flush() local2231 if (!(hcr & HCR_TVM)) { in kvm_set_way_flush()2235 *vcpu_hcr(vcpu) = hcr | HCR_TVM; in kvm_set_way_flush()