Tom Rini | 83d290c | 2018-05-06 17:58:06 -0400 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
Masahiro Yamada | c2da86f | 2017-04-14 11:10:22 +0900 | [diff] [blame] | 2 | /* |
Masahiro Yamada | c2da86f | 2017-04-14 11:10:22 +0900 | [diff] [blame] | 3 | * Copyright (C) 2012 ARM Limited |
Masahiro Yamada | c2da86f | 2017-04-14 11:10:22 +0900 | [diff] [blame] | 4 | */ |
| 5 | |
| 6 | #ifndef __ASM_ARM_OPCODES_SEC_H |
| 7 | #define __ASM_ARM_OPCODES_SEC_H |
| 8 | |
| 9 | #include <asm/opcodes.h> |
| 10 | |
| 11 | #define __SMC(imm4) __inst_arm_thumb32( \ |
| 12 | 0xE1600070 | (((imm4) & 0xF) << 0), \ |
| 13 | 0xF7F08000 | (((imm4) & 0xF) << 16) \ |
| 14 | ) |
| 15 | |
| 16 | #endif /* __ASM_ARM_OPCODES_SEC_H */ |