#ifndef _ULTRA64_CACHE_H_
#define _ULTRA64_CACHE_H_
/* Functions */
void osInvalICache(void *vaddr, s32 nbytes);
void osInvalDCache(void *vaddr, s32 nbytes);
void osWritebackDCache(void *vaddr, s32 nbytes);
void osWritebackDCacheAll(void);
#endif