#ifndef  __SA_LAUNCH
#define  __SA_LAUNCH

#include "nu64sys.h"

#define ALIGN_DCACHE __attribute__((aligned(DCACHE_LINESIZE)))

#if 0
#define ERR_OFF   IO_WRITE(PI_GPIO_REG, \
                          ((PI_GPIO_ERROR_BIT | PI_GPIO_POWER_BIT) << PI_GPIO_ENABLE_SHIFT) | \
                           (PI_GPIO_ERROR_BIT | PI_GPIO_POWER_BIT))
#define ERR_ON    IO_WRITE(PI_GPIO_REG, \
                          ((PI_GPIO_ERROR_BIT | PI_GPIO_POWER_BIT) << PI_GPIO_ENABLE_SHIFT) | \
                           PI_GPIO_POWER_BIT)
#endif

int try_to_launch_gng();
void start_heart_beat();
void stop_heart_beat();
int delete_gng_tmpfile();
int write_sysid_file();

extern u16 cfb[SCREEN_WD*SCREEN_HT] __attribute__((aligned(64)));
void clear(u16 bg);

#endif