#ifndef __cpu_h
#define __cpu_h
#include "oslib/os.h"

#define CPU_80321  0x69052000
#define CPU_MASK   0xfffff000

int cpu_id(void);

void clean_Dcache(bits flags, const void *min, const void *max);
void drain_WB(void);

void pld(const void *, int);

#endif
