#include <regdef.h>
#include <asm.h>
#include <R4300.h>
#include <PR/bcp.h>

.text
LEAF(main)
entry:
	li	t0, 0xff
	sw	t0, PHYS_TO_K1(PI_ACCESS_REG)
	li	t0, (1<<PI_GPIO_ENABLE_SHIFT)|1
	sw	t0, PHYS_TO_K1(PI_GPIO_REG)

exit_sim:
	lw	t0, PHYS_TO_K1(PI_GPIO_REG)
	and	t0, t0, 0xfffffffe
	sw	t0, PHYS_TO_K1(PI_GPIO_REG)
END(main)