Searched refs:dbell_type (Results 1 – 1 of 1) sorted by relevance
32 enum ppc_dbell dbell_type; in kvmppc_set_pending_interrupt() local37 dbell_type = PPC_G_DBELL; in kvmppc_set_pending_interrupt()40 dbell_type = PPC_G_DBELL_CRIT; in kvmppc_set_pending_interrupt()43 dbell_type = PPC_G_DBELL_MC; in kvmppc_set_pending_interrupt()53 ppc_msgsnd(dbell_type, 0, tag); in kvmppc_set_pending_interrupt()
