Searched refs:notification_id (Results 1 – 2 of 2) sorted by relevance
265 uint64_t *notification_id) in exclaves_notification_create() argument273 if (notification_id == NULL) { in exclaves_notification_create()281 *notification_id = notification_resource_user.r_port; in exclaves_notification_create()
752 exclaves_notification_create(mach_port_t port, const char *name, uint64_t *notification_id);