Searched refs:hcr (Results 1 – 3 of 3) sorted by relevance
694 u32 hcr; in __vgic_v3_bump_eoicount() local696 hcr = read_gicreg(ICH_HCR_EL2); in __vgic_v3_bump_eoicount()697 hcr += 1 << ICH_HCR_EOIcount_SHIFT; in __vgic_v3_bump_eoicount()698 write_gicreg(hcr, ICH_HCR_EL2); in __vgic_v3_bump_eoicount()
851 unsigned long *hcr; in vcpu_interrupt_line() local858 hcr = vcpu_hcr(vcpu); in vcpu_interrupt_line()860 set = test_and_set_bit(bit_index, hcr); in vcpu_interrupt_line()862 set = test_and_clear_bit(bit_index, hcr); in vcpu_interrupt_line()
2430 unsigned long hcr = *vcpu_hcr(vcpu); in kvm_set_way_flush() local2441 if (!(hcr & HCR_TVM)) { in kvm_set_way_flush()2445 *vcpu_hcr(vcpu) = hcr | HCR_TVM; in kvm_set_way_flush()