1c2da86f3SMasahiro Yamada /* 2c2da86f3SMasahiro Yamada * Copyright (C) 2012 ARM Limited 3*c54bcf68SMasahiro Yamada * 4*c54bcf68SMasahiro Yamada * SPDX-License-Identifier: GPL-2.0 5c2da86f3SMasahiro Yamada */ 6c2da86f3SMasahiro Yamada 7c2da86f3SMasahiro Yamada #ifndef __ASM_ARM_OPCODES_SEC_H 8c2da86f3SMasahiro Yamada #define __ASM_ARM_OPCODES_SEC_H 9c2da86f3SMasahiro Yamada 10c2da86f3SMasahiro Yamada #include <asm/opcodes.h> 11c2da86f3SMasahiro Yamada 12c2da86f3SMasahiro Yamada #define __SMC(imm4) __inst_arm_thumb32( \ 13c2da86f3SMasahiro Yamada 0xE1600070 | (((imm4) & 0xF) << 0), \ 14c2da86f3SMasahiro Yamada 0xF7F08000 | (((imm4) & 0xF) << 16) \ 15c2da86f3SMasahiro Yamada ) 16c2da86f3SMasahiro Yamada 17c2da86f3SMasahiro Yamada #endif /* __ASM_ARM_OPCODES_SEC_H */ 18