1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef __ASM_ARM_INSN_H
 3#define __ASM_ARM_INSN_H
 4
 5static inline unsigned long
 6arm_gen_nop(void)
 7{
 8#ifdef CONFIG_THUMB2_KERNEL
 9	return 0xf3af8000; /* nop.w */
10#else
11	return 0xe1a00000; /* mov r0, r0 */
12#endif
13}
14
15unsigned long
16__arm_gen_branch(unsigned long pc, unsigned long addr, bool link);
17
18static inline unsigned long
19arm_gen_branch(unsigned long pc, unsigned long addr)
20{
21	return __arm_gen_branch(pc, addr, false);
22}
23
24static inline unsigned long
25arm_gen_branch_link(unsigned long pc, unsigned long addr)
26{
27	return __arm_gen_branch(pc, addr, true);
28}
29
30#endif