1/**
2 * \file
3 * \brief
4 */
5
6/*
7 * Copyright (c) 2010, ETH Zurich.
8 * Copyright (c) 2015, Hewlett Packard Enterprise Development LP.
9 * All rights reserved.
10 *
11 * This file is distributed under the terms in the attached LICENSE file.
12 * If you do not find this file, copies can be found by writing to:
13 * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
14 */
15
16#ifndef ARCH_AARCH64_BARRELFISH_KPI_FLAGS_H
17#define ARCH_AARCH64_BARRELFISH_KPI_FLAGS_H
18
19#define AARCH64_MODE_EL0T   0x0
20#define AARCH64_MODE_EL1T   0x4
21#define AARCH64_MODE_EL1H   0x5
22
23#define AARCH64_MODE_USR    AARCH64_MODE_EL0T
24#define AARCH64_MODE_FIQ    0x11
25#define AARCH64_MODE_IRQ    0x12
26#define AARCH64_MODE_SVC    0x13
27#define AARCH64_MODE_ABT    0x17
28#define AARCH64_MODE_UND    0x1b
29#define AARCH64_MODE_SYS    0x1f
30#define AARCH64_MODE_MASK   0x1f
31#define AARCH64_MODE_PRIV   0x0f
32
33#define CPSR_IF_MASK    0xc0
34#define CPSR_I_MASK     0x80
35#define CPSR_F_MASK     0x40
36
37#endif // ARCH_AARCH64_BARRELFISH_KPI_FLAGS_H
38