Searched refs:dbell_type (Results 1 – 1 of 1) sorted by relevance
30 enum ppc_dbell dbell_type; in kvmppc_set_pending_interrupt() local35 dbell_type = PPC_G_DBELL; in kvmppc_set_pending_interrupt()38 dbell_type = PPC_G_DBELL_CRIT; in kvmppc_set_pending_interrupt()41 dbell_type = PPC_G_DBELL_MC; in kvmppc_set_pending_interrupt()51 ppc_msgsnd(dbell_type, 0, tag); in kvmppc_set_pending_interrupt()