ref: 1d8a64b2aff4f828e53c6ab06fda54f1239eebf6
dir: /as/target/x86/amd64.c/
static char sccsid[] = "@(#) ./as/target/x86/amd64.c";
#include "../../../inc/scc.h"
#include "../../as.h"
TUINT maxaddr = 0xFFFFFFFFFFFFFFFF;
int endian = LITTLE_ENDIAN;
int left2right = 0;
void
iarch(void)
{
}