Searched refs:notification_resource (Results 1 – 2 of 2) sorted by relevance
521 exclaves_resource_t *notification_resource = variable526 if (notification_resource != NULL) {530 exclaves_notification_signal(notification_resource, mask);
714 exclaves_resource_t *notification_resource = NULL; in _exclaves_ctl_trap() local744 notification_resource_user->r_name, ¬ification_resource); in _exclaves_ctl_trap()749 kr = exclaves_resource_create_port_name(notification_resource, in _exclaves_ctl_trap()754 notification_resource_user->r_type = notification_resource->r_type; in _exclaves_ctl_trap()755 notification_resource_user->r_id = notification_resource->r_id; in _exclaves_ctl_trap()