Searched refs:notification_resource (Results 1 – 2 of 2) sorted by relevance
524 exclaves_resource_t *notification_resource = variable529 if (notification_resource != NULL) {533 exclaves_notification_signal(notification_resource, mask);1064 exclaves_resource_t *notification_resource = variable1069 if (notification_resource != NULL) {1073 exclaves_notification_signal(notification_resource, mask);
696 exclaves_resource_t *notification_resource = NULL; in _exclaves_ctl_trap() local726 notification_resource_user->r_name, ¬ification_resource); in _exclaves_ctl_trap()731 kr = exclaves_resource_create_port_name(notification_resource, in _exclaves_ctl_trap()736 notification_resource_user->r_type = notification_resource->r_type; in _exclaves_ctl_trap()737 notification_resource_user->r_id = notification_resource->r_id; in _exclaves_ctl_trap()