cmd_wbuffer.c

source code of armboot for s3c4510

/*  choish 20020828  */

#include <armboot.h>
#include <command.h>

#if defined(CONFIG_S3C2500) || defined(CONFIG_S3C2510)
static int on_off (const char *);

// cp15 r3 Resister read function   choish 20020827
static unsigned long read_cp15r3(void) 
{
    unsigned long value;

    __asm__ __volatile__(
	"mrc     p15, 0, %0, cr3, cr0, 0   @ read  reg\n"
	: "=r" (value)
	:
	: "memory");
    printf("Write Buffer Control register : %08lx\n", value);
    return value;
}

int wbuffer_status(void)
{
  	return (read_cp15r3() & 0x8) != 0;
}

void Wbuffer_init(bd_t * bd)
{
  const char *ws; 
  ws = bd->bi_wbuffer;
  	 switch (on_off(ws)) {
			
				case 0:
					 _WB_Drain();
					 _WB_Disable(3);
					break;
				case 1: 
					 _WB_Enable(3);
					 _WB_Drain();
					break;
			}
#ifdef VIADBG
			printf ("Write Buffer is %s\n", wbuffer_status() ? "ON" : "OFF");
#endif
}

static int on_off (const char *s)
{
	if (strcmp(s, "on") == 0) {
		return (1);
	} else if (strcmp(s, "off") == 0) {
		return (0);
	}
	return (-1);
}
#endif