106 lines
2.6 KiB
C
106 lines
2.6 KiB
C
/*
|
|
* Prefetch controller for PIC32.
|
|
*
|
|
* Copyright (C) 2011 Serge Vakulenko <serge@vak.ru>
|
|
*
|
|
* This file is part of the virtualmips distribution.
|
|
* See LICENSE file for terms of the license.
|
|
*/
|
|
#define _GNU_SOURCE
|
|
#include <stdlib.h>
|
|
#include <stdio.h>
|
|
#include <assert.h>
|
|
#include <sys/types.h>
|
|
#include <sys/stat.h>
|
|
#include <string.h>
|
|
|
|
#include "device.h"
|
|
#include "mips_memory.h"
|
|
#include "cpu.h"
|
|
#include "pic32.h"
|
|
|
|
#define PREFETCH_REG_SIZE 0xd0
|
|
|
|
extern cpu_mips_t *current_cpu;
|
|
|
|
/*
|
|
* Perform an assign/clear/set/invert operation.
|
|
*/
|
|
static inline unsigned write_op (int a, int b, int op)
|
|
{
|
|
switch (op & 0xc) {
|
|
case 0x0: /* Assign */
|
|
a = b;
|
|
break;
|
|
case 0x4: /* Clear */
|
|
a &= ~b;
|
|
break;
|
|
case 0x8: /* Set */
|
|
a |= b;
|
|
break;
|
|
case 0xc: /* Invert */
|
|
a ^= b;
|
|
break;
|
|
}
|
|
return a;
|
|
}
|
|
|
|
void *dev_pic32_prefetch_access (cpu_mips_t *cpu, struct vdevice *dev,
|
|
m_uint32_t offset, u_int op_size, u_int op_type, m_reg_t *data,
|
|
m_uint8_t *has_set_value)
|
|
{
|
|
pic32_t *pic32 = dev->priv_data;
|
|
|
|
if (offset >= PREFETCH_REG_SIZE) {
|
|
*data = 0;
|
|
return NULL;
|
|
}
|
|
if (op_type == MTS_READ)
|
|
*data = 0;
|
|
switch (offset & 0x1f0) {
|
|
case PIC32_CHECON & 0xf0: /* Prefetch Control */
|
|
if (op_type == MTS_READ) {
|
|
*data = pic32->checon;
|
|
if (cpu->vm->debug_level > 2)
|
|
printf (" read CHECON -> %08x\n", *data);
|
|
} else {
|
|
pic32->checon = write_op (pic32->checon, *data, offset);
|
|
if (cpu->vm->debug_level > 2)
|
|
printf (" CHECON := %08x\n", pic32->checon);
|
|
}
|
|
break;
|
|
|
|
// TODO: other registers.
|
|
|
|
default:
|
|
ASSERT (0, "unknown prefetch offset %x\n", offset);
|
|
}
|
|
*has_set_value = TRUE;
|
|
return NULL;
|
|
}
|
|
|
|
void dev_pic32_prefetch_reset (cpu_mips_t *cpu, struct vdevice *dev)
|
|
{
|
|
pic32_t *pic32 = dev->priv_data;
|
|
|
|
pic32->checon = 0x00000007;
|
|
}
|
|
|
|
int dev_pic32_prefetch_init (vm_instance_t *vm, char *name, unsigned paddr)
|
|
{
|
|
pic32_t *pic32 = (pic32_t *) vm->hw_data;
|
|
|
|
pic32->prefetch = dev_create (name);
|
|
if (! pic32->prefetch)
|
|
return (-1);
|
|
pic32->prefetch->priv_data = pic32;
|
|
pic32->prefetch->phys_addr = paddr;
|
|
pic32->prefetch->phys_len = PREFETCH_REG_SIZE;
|
|
pic32->prefetch->handler = dev_pic32_prefetch_access;
|
|
pic32->prefetch->reset_handler = dev_pic32_prefetch_reset;
|
|
pic32->prefetch->flags = VDEVICE_FLAG_NO_MTS_MMAP;
|
|
|
|
vm_bind_device (vm, pic32->prefetch);
|
|
return (0);
|
|
}
|