Searched defs:ipis_rcvd (Results 1 – 2 of 2) sorted by relevance
23 static volatile uint64_t ipis_rcvd[RECEIVER_VCPU_ID_2 + 1]; variable
53 static volatile uint64_t ipis_rcvd; variable