#include "dump.h"

#define DUMP_START_ADDR	0x8300FF00
#define START_MARKER	0xE0E0E0E0
#define END_MARKER	0xEFEFEFEF
#define PASS_VALUE	0x1111111
#define FAIL_VALUE	0xDEADDEAD

int *current_addr = (int *)DUMP_START_ADDR;

void set_start_mark()
{
	*(volatile int *)current_addr = START_MARKER;
	current_addr++;
}

void set_end_mark()
{
        *(volatile int *)current_addr = END_MARKER;
        current_addr++;
}

void set_value(int val)
{
	*(volatile int *)current_addr = val;
	current_addr++;
}

void set_pass()
{
	*(volatile int *)current_addr = PASS_VALUE;
	current_addr++;
}

void set_fail()
{
	*(volatile int *)current_addr = FAIL_VALUE;
	current_addr++;
}

int *get_current_loc()
{
	return current_addr;
}

void set_addr_val(int *addr, int val)
{
	*(volatile int *)addr = val;
}