1/* 2 * Copyright 2016, Data61 3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4 * ABN 41 687 119 230. 5 * 6 * This software may be distributed and modified according to the terms of 7 * the BSD 2-Clause license. Note that NO WARRANTY is provided. 8 * See "LICENSE_BSD2.txt" for details. 9 * 10 * @TAG(D61_BSD) 11 */ 12 13#ifndef _TIMER_SERVER_DISPATCHER_CLIENT_WATCH_HANDLER_H_ 14#define _TIMER_SERVER_DISPATCHER_CLIENT_WATCH_HANDLER_H_ 15 16#include "../state.h" 17#include "dispatch.h" 18 19/*! @file 20 @brief Client watch dispatcher module. */ 21 22/*! @brief Dispatch a client death notification message. 23 @param m The recieved interrupt message. 24 @return DISPATCH_SUCCESS if successfully dispatched, DISPATCH_ERROR if there was an unexpected 25 error, DISPATCH_PASS if the given message is not an interrupt message. 26*/ 27int dispatch_client_watch(srv_msg_t *m); 28 29#endif /* _TIMER_SERVER_DISPATCHER_CLIENT_WATCH_HANDLER_H_ */