#include <stdio.h>
#include <stdint.h>

typedef uint64_t __u64;
typedef __u64 ipl_t;
typedef __u64 __address;

#define __amd64_TYPES_H__
#include "../../arch/amd64/include/context.h"

#define FILENAME "../../arch/amd64/include/context_offset.h"

int main(void)
{
	FILE *f;
	struct context ctx;
	struct context *pctx = &ctx;

	struct interrupt_context ictx;
	struct interrupt_context *ipctx = &ictx;

	f = fopen(FILENAME,"w");
	if (!f) {
		perror(FILENAME);
		return 1;
	}

	fprintf(f, "/* This file is automatically generated by %s. */\n", __FILE__);	

	fprintf(f,"#define OFFSET_SP  0x%x\n", ((int) &pctx->sp) - (int) pctx);
	fprintf(f,"#define OFFSET_PC  0x%x\n", ((int) &pctx->pc) - (int) pctx);
	fprintf(f,"#define OFFSET_RBX 0x%x\n", ((int) &pctx->rbx) - (int) pctx);
	fprintf(f,"#define OFFSET_RBP 0x%x\n", ((int) &pctx->rbp) - (int) pctx);
	fprintf(f,"#define OFFSET_R12 0x%x\n", ((int) &pctx->r12) - (int) pctx);
	fprintf(f,"#define OFFSET_R13 0x%x\n", ((int) &pctx->r13) - (int) pctx);
	fprintf(f,"#define OFFSET_R14 0x%x\n", ((int) &pctx->r14) - (int) pctx);
	fprintf(f,"#define OFFSET_R15 0x%x\n", ((int) &pctx->r15) - (int) pctx);
	fprintf(f,"#define OFFSET_IPL 0x%x\n", ((int) &pctx->ipl) - (int) pctx);

	fprintf(f, "\n");

#define ifpr(big, nm) fprintf(f, "#define IOFFSET_" #big " 0x%x\n", ((int) &ipctx->nm) - (int) ipctx)
	
	ifpr(RAX, rax);
	ifpr(RBX, rbx);
	ifpr(RCX, rcx);
	ifpr(RDX, rdx);
	ifpr(RSI, rsi);
	ifpr(RDI, rdi);
	ifpr(R8, r8);
	ifpr(R9, r9);
	ifpr(R10, r10);
	ifpr(R11, r11);
	ifpr(R12, r12);
	ifpr(R13, r13);
	ifpr(R14, r14);
	ifpr(R15, r15);
	ifpr(RBP, rbp);

	fprintf(f, "#define IREGISTER_SPACE %d\n", sizeof(ictx));

	fclose(f);

	return 0;
}