Lines Matching refs:priority
250 unsigned int priority) in kvmppc_booke_queue_irqprio() argument
252 trace_kvm_booke_queue_irqprio(vcpu, priority); in kvmppc_booke_queue_irqprio()
253 set_bit(priority, &vcpu->arch.pending_exceptions); in kvmppc_booke_queue_irqprio()
379 unsigned int priority) in kvmppc_booke_irqprio_deliver() argument
402 if (priority == BOOKE_IRQPRIO_EXTERNAL_LEVEL) { in kvmppc_booke_irqprio_deliver()
403 priority = BOOKE_IRQPRIO_EXTERNAL; in kvmppc_booke_irqprio_deliver()
407 if ((priority == BOOKE_IRQPRIO_EXTERNAL) && vcpu->arch.epr_flags) in kvmppc_booke_irqprio_deliver()
410 switch (priority) { in kvmppc_booke_irqprio_deliver()
493 vcpu->arch.pc = vcpu->arch.ivpr | vcpu->arch.ivor[priority]; in kvmppc_booke_irqprio_deliver()
515 clear_bit(priority, &vcpu->arch.pending_exceptions); in kvmppc_booke_irqprio_deliver()
655 unsigned int priority; in kvmppc_core_check_exceptions() local
657 priority = __ffs(*pending); in kvmppc_core_check_exceptions()
658 while (priority < BOOKE_IRQPRIO_MAX) { in kvmppc_core_check_exceptions()
659 if (kvmppc_booke_irqprio_deliver(vcpu, priority)) in kvmppc_core_check_exceptions()
662 priority = find_next_bit(pending, in kvmppc_core_check_exceptions()
664 priority + 1); in kvmppc_core_check_exceptions()