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_ */