#include <cplb.h>
#include "set_cache.h"

// configuration routines
void configure_data_cache_cplbs(int dcplb_table[16][2])
{
	short i;
	volatile void ** pADDR_ENTRIES = (volatile void**)pDCPLB_ADDR0;
	volatile unsigned long * pDATA_ENTRIES = pDCPLB_DATA0;
	// set up the table entries

	for (i=0; i<16; i++)
	{
		*(pADDR_ENTRIES++) = (void*)dcplb_table[i][0];
		*(pDATA_ENTRIES++) = (unsigned long)dcplb_table[i][1];
	}
	
	return;
}

void configure_instruction_cache_cplbs(int icplb_table[16][2])
{
	short i;
	volatile void ** pADDR_ENTRIES = (volatile void**)pICPLB_ADDR0;
	volatile unsigned long * pDATA_ENTRIES = pICPLB_DATA0;
	// set up the table entries

	for (i=0; i<16; i++)
	{
		*(pADDR_ENTRIES++) = (void*)icplb_table[i][0];
		*(pDATA_ENTRIES++) = (unsigned long)icplb_table[i][1];
	}
	
	return;
}