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);
757 exclaves_resource_t *notification_resource = NULL; in _exclaves_ctl_trap() local787 notification_resource_user->r_name, ¬ification_resource); in _exclaves_ctl_trap()792 kr = exclaves_resource_create_port_name(notification_resource, in _exclaves_ctl_trap()797 notification_resource_user->r_type = notification_resource->r_type; in _exclaves_ctl_trap()798 notification_resource_user->r_id = notification_resource->r_id; in _exclaves_ctl_trap()