719 	u32 tpr, isrv, ppr, old_ppr;  in __apic_update_ppr()  local
723 	tpr = kvm_lapic_get_reg(apic, APIC_TASKPRI);  in __apic_update_ppr()
727 	if ((tpr & 0xf0) >= (isrv & 0xf0))  in __apic_update_ppr()
728 		ppr = tpr & 0xff;  in __apic_update_ppr()
754 static void apic_set_tpr(struct kvm_lapic *apic, u32 tpr)  in apic_set_tpr()  argument
756 	kvm_lapic_set_reg(apic, APIC_TASKPRI, tpr);  in apic_set_tpr()
2243 	u64 tpr;  in kvm_lapic_get_cr8()  local
2245 	tpr = (u64) kvm_lapic_get_reg(vcpu->arch.apic, APIC_TASKPRI);  in kvm_lapic_get_cr8()
2247 	return (tpr & 0xf0) >> 4;  in kvm_lapic_get_cr8()
2733 	u32 data, tpr;  in kvm_lapic_sync_to_vapic()  local
2742 	tpr = kvm_lapic_get_reg(apic, APIC_TASKPRI) & 0xff;  in kvm_lapic_sync_to_vapic()
2749 	data = (tpr & 0xff) | ((max_isr & 0xf0) << 8) | (max_irr << 24);  in kvm_lapic_sync_to_vapic()