Searched refs:responding_scid (Results 1 – 1 of 1) sorted by relevance
| /xnu-12377.1.9/osfmk/kern/ ! |
| H A D | exclaves.c | 1661 Exclaves_L4_Word_t responding_scid = yield->thread; in handle_response_yield() local
1667 early ? "(early yield)" : "", responding_scid, yielded_to_scid); in handle_response_yield()
1673 assert3u(responding_scid, ==, scid); in handle_response_yield()
1687 Exclaves_L4_Word_t responding_scid = spawned->thread; in handle_response_spawned() local
1699 responding_scid, spawned->spawned); in handle_response_spawned()
1705 responding_scid, (unsigned long)spawned->spawned); in handle_response_spawned()
1709 assert3u(responding_scid, ==, scid); in handle_response_spawned()
1718 Exclaves_L4_Word_t responding_scid = terminated->thread; in handle_response_terminated() local
1723 "scid 0x%lx terminated scid 0x%llx\n", responding_scid, in handle_response_terminated()
1737 Exclaves_L4_Word_t responding_scid = wait->waiter; in handle_response_wait() local
[all …]
|