Searched refs:dbell_type (Results 1 – 1 of 1) sorted by relevance
29 enum ppc_dbell dbell_type; in kvmppc_set_pending_interrupt() local34 dbell_type = PPC_G_DBELL; in kvmppc_set_pending_interrupt()37 dbell_type = PPC_G_DBELL_CRIT; in kvmppc_set_pending_interrupt()40 dbell_type = PPC_G_DBELL_MC; in kvmppc_set_pending_interrupt()50 ppc_msgsnd(dbell_type, 0, tag); in kvmppc_set_pending_interrupt()
