stflash.c

ST flash driver

#include <kernel.h>
#include <ostime.h>
#include <string.h>
#include <debug.h>
#include <stdarg.h>
#include <stdlib.h>
#include <ktcable.h>

#include "stflashd.h"
#include "stlite.h" 	/* os20 for standard definitions,   	   */

BOOL							address_override = FALSE ;
int								address_load = 0x7fe00000 ;

/* Address and data to enable iCache */
#define INVALIDATECACHE 0x4800
#define ICACHE			0x4700
#define DATA			0x01

#pragma ST_device(device_U32_t)
typedef volatile unsigned int	device_U32_t;
device_U32_t					*ptr_to_cache;

const int						FLASH_PROCESS_STACK_SIZE = (1024 + 1024);
const int						FLASH_SLAVE_PROCESS_PRIORITY = 12;

//////////////////////////////////////////////////////////////
BOOL							rom_serial = FALSE;			 /* ROM serial number update	 */
BOOL							report_verbose = TRUE; 		/* reporting level  		 LP's init for debugging   */
FILE_STRING						rom_datafile;   				/* datafile name				*/
FILE_STRING						rom_serialno;   				/* Serial number/code   		*/
ROMTOOL_REPORT					rom_report = NULL_REPORT;	 /* reporting level 			 */
ROMTOOL_MODE					rom_operation = NULL_MODE; 	 /* operational mode			 */


/* board						*/
ROMTOOL_BOARD					rom_board = MiCo; 			  /* board  					  */



void enablecache()	 /* Enable iCache */
{
	ptr_to_cache = (device_U32_t *) (INVALIDATECACHE);  	/* pointer to 29F400T boot_block		*/
	*ptr_to_cache = (device_U32_t) DATA;
	ptr_to_cache = (device_U32_t *) (ICACHE);      /* pointer to 29F400T boot_block 	   */
	*ptr_to_cache = (device_U32_t) DATA;
}