1/*
2 * Copyright 2014, General Dynamics C4 Systems
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7#pragma once
8
9#include <mode/assembler.h>
10
11/* This file contains useful macros for assembly code. */
12
13#ifdef __ASSEMBLER__
14
15#define      PIALL(reg)    p15, 0, reg, c7, c5, 4
16#define        ISB(reg)    p15, 0, reg, c7, c5, 4
17#define      DCALL(reg)    p15, 0, reg, c7, c10, 0
18#define        DSB(reg)    p15, 0, reg, c7, c10, 4
19#define     DCIALL(reg)    p15, 0, reg, c7, c14, 0
20
21#else /* !__ASSEMBLER__ */
22#warning "Including assembly-specific header in C code"
23#endif
24
25