You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>. */
-#ifndef AARCH64_INSN_H
-#define AARCH64_INSN_H 1
+#ifndef ARCH_AARCH64_INSN_H
+#define ARCH_AARCH64_INSN_H
extern int aarch64_debug;
struct aarch64_register rn,
struct aarch64_memory_operand operand);
-#endif
+#endif /* ARCH_AARCH64_INSN_H */