From 5b268cceca13d5ba0f16bee624e3973d46ba8f30 Mon Sep 17 00:00:00 2001 From: Ben Leslie Date: Sun, 27 Sep 2020 18:22:48 +0000 Subject: [PATCH] Add cpu/events.h header for Cortex-A35 Signed-off-by: Ben Leslie --- .../arm/cpu/cortex-a35/sel4bench/cpu/events.h | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 libsel4bench/arch_include/arm/cpu/cortex-a35/sel4bench/cpu/events.h diff --git a/libsel4bench/arch_include/arm/cpu/cortex-a35/sel4bench/cpu/events.h b/libsel4bench/arch_include/arm/cpu/cortex-a35/sel4bench/cpu/events.h new file mode 100644 index 000000000..972f93513 --- /dev/null +++ b/libsel4bench/arch_include/arm/cpu/cortex-a35/sel4bench/cpu/events.h @@ -0,0 +1,14 @@ +/* + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) + * + * SPDX-License-Identifier: BSD-2-Clause + */ +/* + * Values from Cortex-A35 TRM. Table C2-3. + */ +#pragma once +#define SEL4BENCH_EVENT_BUS_ACCESS_LD 0x60 +#define SEL4BENCH_EVENT_BUS_ACCESS_ST 0x61 +#define SEL4BENCH_EVENT_BR_INDIRECT_SPEC 0x7A +#define SEL4BENCH_EVENT_EXC_IRQ 0x86 +#define SEL4BENCH_EVENT_EXC_FIQ 0x87