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