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/*! \file mem_syscall.h
14    \brief Dispatcher for the procserv memory related syscalls.
15*/
16
17#ifndef _REFOS_PROCESS_SERVER_DISPATCHER_PROCSERV_MEMORY_SYSCALL_H_
18#define _REFOS_PROCESS_SERVER_DISPATCHER_PROCSERV_MEMORY_SYSCALL_H_
19
20#include "dispatcher.h"
21#include "../state.h"
22
23/*! @file
24    @brief Handles process server memory-related syscalls. */
25
26/*! @brief Memory syscall post-action.
27
28    Replies to any processes that are waiting to be resumed from a dataspace VM fault.
29*/
30void mem_syscall_postaction();
31
32#endif /* _REFOS_PROCESS_SERVER_DISPATCHER_PROCSERV_MEMORY_SYSCALL_H_ */