#define FACTOR_CPU_STRING "amd64"

register CELL ds asm("r14");
register CELL rs asm("r15");
register CELL cards_offset asm("r13");

INLINE void flush_icache(CELL start, CELL len) {}

void *native_stack_pointer(void);

typedef CELL F_STACK_FRAME;

#define PREVIOUS_FRAME(frame) (frame + 1)
#define RETURN_ADDRESS(frame) (*(frame))