#ifndef __MICROWATT_UTIL_H
#define __MICROWATT_UTIL_H

#include "io.h"

#define LA_REG			0xc8020000

#define LA_MICROWATT_START	0xbadc0ffe
#define LA_MICROWATT_SUCCESS	0x0ddf00d5
#define LA_MICROWATT_FAILURE 	0x71077345

#define GPIO1_MGMT_ENGINE_START	0x00010000
#define GPIO1_MICROWATT_START	0x00020000
#define GPIO1_SUCCESS		0x00030000
#define GPIO1_FAILURE		0x00000000

#ifdef __powerpc64__
static inline void microwatt_alive(void)
{
	writel(LA_MICROWATT_START, LA_REG);
}

static inline void microwatt_success(void)
{
	writel(LA_MICROWATT_SUCCESS, LA_REG);
}

static inline void microwatt_failure(void)
{
	writel(LA_MICROWATT_FAILURE, LA_REG);
}
#endif

#endif