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 _REFOS_PROCESS_SERVER_BADGE_H_
14#define _REFOS_PROCESS_SERVER_BADGE_H_
15
16#include <refos/refos.h>
17
18/*! @file
19    @brief Process Server badge space definitions.
20*/
21
22/* ---- BadgeID 3 to 4098 : ASID & Liveness caps ---- */
23
24#define PID_MAX PROCSERV_MAX_PROCESSES
25#define PID_INVALID (ASID_MAX_ID + 1)
26
27#define PID_BADGE_BASE 0x3
28#define PID_BADGE_END (PID_BADGE_BASE + PID_MAX)
29#define PID_LIVENESS_BADGE_BASE PID_BADGE_END
30#define PID_LIVENESS_BADGE_END (PID_LIVENESS_BADGE_BASE + PID_MAX)
31
32/* ---- BadgeID 4099 to 12290 : Windows ---- */
33
34#define W_MAX_WINDOWS 8192
35#define W_MAX_ASSOCIATED_WINDOWS 2048
36
37#define W_BADGE_BASE PID_LIVENESS_BADGE_END
38#define W_BADGE_END (W_BADGE_BASE + W_MAX_WINDOWS)
39
40/* ---- BadgeID 12291 to 20482 : RAM Dataspace Objects ---- */
41
42#define RAM_DATASPACE_MAX_NUM_DATASPACE 8192
43#define RAM_DATASPACE_BADGE_BASE W_BADGE_END
44#define RAM_DATASPACE_BADGE_END (RAM_DATASPACE_BADGE_BASE + RAM_DATASPACE_MAX_NUM_DATASPACE)
45
46#endif /* _REFOS_PROCESS_SERVER_BADGE_H_ */
47