Searched refs:defunctok (Results 1 – 2 of 2) sorted by relevance
222 uint64_t userpacketpool, uint64_t defunctok,
261 uint64_t userpacketpool, uint64_t defunctok, in sktu_channel_create_extended() argument312 if (defunctok != -1) { in sktu_channel_create_extended()313 error = os_channel_attr_set(tmpattr, CHANNEL_ATTR_NEXUS_DEFUNCT_OK, defunctok); in sktu_channel_create_extended()383 assert(exclusive == -1 || defunctok == scratch); in sktu_channel_create_extended()