/**
 * app_restart.h
 * 
 *
 * Copyright (c) 2012 Texas Instruments Incorporated ALL RIGHTS RESERVED
 *
*/
#ifndef APP_RESTART_H_
#define APP_RESTART_H_

#define INTERFACE_RESTART_CHECK_ADDRESS  0x4030FFF4
#define INTERFACE_CONFIG_ADDRESS  0x4030FFEC

void restart_application();

#endif /* APP_RESTART_H_ */
