Searched refs:notification_id (Results 1 – 3 of 3) 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()
403 get_notification_name(mach_msg_id_t notification_id) in get_notification_name() argument405 switch (notification_id) { in get_notification_name()
764 exclaves_notification_create(mach_port_t port, const char *name, uint64_t *notification_id);