7 #include "arch-x86-64.h"
11 #include "arch-i386.h"
19 #include "arch-ia64.h"
23 #include "arch-sparc.h"
27 #include "arch-s390.h"
35 #include "arch-mips.h"
43 #include "arch-alpha.h"
47 #include "arch-aarch64.h"
51 #include "arch-parisc.h"
54 #ifndef SYSCALL_OFFSET
55 #define SYSCALL_OFFSET 0
58 #define PAGE_MASK (~(page_size - 1))
59 extern unsigned int page_size
;