Lines Matching refs:priority
251 unsigned int priority) in kvmppc_booke_queue_irqprio() argument
253 trace_kvm_booke_queue_irqprio(vcpu, priority); in kvmppc_booke_queue_irqprio()
254 set_bit(priority, &vcpu->arch.pending_exceptions); in kvmppc_booke_queue_irqprio()
380 unsigned int priority) in kvmppc_booke_irqprio_deliver() argument
403 if (priority == BOOKE_IRQPRIO_EXTERNAL_LEVEL) { in kvmppc_booke_irqprio_deliver()
404 priority = BOOKE_IRQPRIO_EXTERNAL; in kvmppc_booke_irqprio_deliver()
408 if ((priority == BOOKE_IRQPRIO_EXTERNAL) && vcpu->arch.epr_flags) in kvmppc_booke_irqprio_deliver()
411 switch (priority) { in kvmppc_booke_irqprio_deliver()
494 vcpu->arch.pc = vcpu->arch.ivpr | vcpu->arch.ivor[priority]; in kvmppc_booke_irqprio_deliver()
516 clear_bit(priority, &vcpu->arch.pending_exceptions); in kvmppc_booke_irqprio_deliver()
656 unsigned int priority; in kvmppc_core_check_exceptions() local
658 priority = __ffs(*pending); in kvmppc_core_check_exceptions()
659 while (priority < BOOKE_IRQPRIO_MAX) { in kvmppc_core_check_exceptions()
660 if (kvmppc_booke_irqprio_deliver(vcpu, priority)) in kvmppc_core_check_exceptions()
663 priority = find_next_bit(pending, in kvmppc_core_check_exceptions()
665 priority + 1); in kvmppc_core_check_exceptions()