1 //===-- jitcs_x64.h C++ -------------------------------------------------*-===//
3 // Header file for 64bit x86 platforms.
5 //===----------------------------------------------------------------------===//
7 #ifndef _JITCS_X86_64_H_
8 #define _JITCS_X86_64_H_
10 #include "jitcs_x86_64_insids.h"
11 #include "jitcs_x86_64_regs.h"
12 #include "jitcs_x86_64_inscons.h"