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