Searched defs:pipis_rcvd (Results 1 – 1 of 1) sorted by relevance
80 uint64_t *pipis_rcvd; /* host address of ipis_rcvd global */ member252 uint64_t *pipis_rcvd) in do_migrations()403 uint64_t *pipis_rcvd; in main() local