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