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
14    @brief Common interface for process server.
15
16    Common interface a process server server and clients.
17
18    Author: kevine
19    Created on: Jul 29, 2012
20*/
21
22#ifndef PROC_COMMON_H_
23#define PROC_COMMON_H_
24
25#include <assert.h>
26#include <refos/refos.h>
27
28#define PROCSERV_NOTIFICATION_MAGIC 0xB0BA11CE
29
30enum proc_notify_types {
31    PROCSERV_NOTIFY_FAULT_DELEGATION,
32    PROCSERV_NOTIFY_CONTENT_INIT,
33    PROCSERV_NOTIFY_DEATH
34};
35
36struct proc_notification {
37    seL4_Word magic;
38    seL4_Word label;
39    seL4_Word arg[7];
40};
41
42#endif /* PROC_COMMON_H_ */
43
44
45
46
47
48
49
50
51
52
53
54
55
56