From e4312ce21440e7cfda97a0084681e3ffbde8861c Mon Sep 17 00:00:00 2001
From: Jeffrey Bastian <jbastian@redhat.com>
Date: Aug 25 2016 20:17:13 +0000
Subject: add 32-bit ARM opcodes.h to kernel-devel rpm


64-bit ARM opcodes.h references the 32-bit version:
    $ cat arch/arm64/include/asm/opcodes.h
    #include <../../arm/include/asm/opcodes.h>

Include the 32-bit ARM opcodes.h in kernel-devel so tools like SystemTap
can use it (see RHBZ 1291868).

Signed-off-by: Jeff Bastian <jbastian@redhat.com>

---

diff --git a/kernel.spec b/kernel.spec
index d1364d4..a3b7f67 100644
--- a/kernel.spec
+++ b/kernel.spec
@@ -1467,6 +1467,8 @@ BuildKernel() {
 %ifarch aarch64
     # arch/arm64/include/asm/xen references arch/arm
     cp -a --parents arch/arm/include/asm/xen $RPM_BUILD_ROOT/lib/modules/$KernelVer/build/
+    # arch/arm64/include/asm/opcodes.h references arch/arm
+    cp -a --parents arch/arm/include/asm/opcodes.h $RPM_BUILD_ROOT/lib/modules/$KernelVer/build/
 %endif
     # include the machine specific headers for ARM variants, if available.
 %ifarch %{arm}