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