Searched refs:PPC_DBELL_LPID (Results 1 – 2 of 2) sorted by relevance
24 #define PPC_DBELL_LPID(x) ((x) << (63 - 49)) macro
51 tag = PPC_DBELL_LPID(get_lpid(vcpu)) | vcpu->vcpu_id; in kvmppc_set_pending_interrupt()
