Searched refs:dbell_type (Results 1 – 1 of 1) sorted by relevance
33 enum ppc_dbell dbell_type; in kvmppc_set_pending_interrupt() local38 dbell_type = PPC_G_DBELL; in kvmppc_set_pending_interrupt()41 dbell_type = PPC_G_DBELL_CRIT; in kvmppc_set_pending_interrupt()44 dbell_type = PPC_G_DBELL_MC; in kvmppc_set_pending_interrupt()54 ppc_msgsnd(dbell_type, 0, tag); in kvmppc_set_pending_interrupt()