Searched refs:notification_resource (Results 1 – 2 of 2) sorted by relevance
523 exclaves_resource_t *notification_resource = variable528 if (notification_resource != NULL) {532 exclaves_notification_signal(notification_resource, mask);1063 exclaves_resource_t *notification_resource = variable1068 if (notification_resource != NULL) {1072 exclaves_notification_signal(notification_resource, mask);
687 exclaves_resource_t *notification_resource = NULL; in _exclaves_ctl_trap() local717 notification_resource_user->r_name, ¬ification_resource); in _exclaves_ctl_trap()722 kr = exclaves_resource_create_port_name(notification_resource, in _exclaves_ctl_trap()727 notification_resource_user->r_type = notification_resource->r_type; in _exclaves_ctl_trap()728 notification_resource_user->r_id = notification_resource->r_id; in _exclaves_ctl_trap()