include/jitcs_x86_64.h

   1 //===-- jitcs_x64.h C++ -------------------------------------------------*-===//
   2 //
   3 // Header file for 64bit x86 platforms.
   4 //
   5 //===----------------------------------------------------------------------===//
   6
   7 #ifndef _JITCS_X86_64_H_
   8 #define _JITCS_X86_64_H_
   9
  10 #include "jitcs_x86_64_insids.h"
  11 #include "jitcs_x86_64_regs.h"
  12 #include "jitcs_x86_64_cons.h"
  13 #include "jitcs_x86_64_machine.h"
  14
  15 #endif
  16 // _JITCS_X86_64_H_