Searched refs:PPC_G_DBELL_MC (Results 1 – 2 of 2) sorted by relevance
29 PPC_G_DBELL_MC = 4, /* guest mcheck doorbell */ enumerator
40 dbell_type = PPC_G_DBELL_MC; in kvmppc_set_pending_interrupt()