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