include/PR/os_cache.h


1
2
3
4
5
6
7
8
9
10
11
12

#ifndef PR_OS_CACHE_H
#define PR_OS_CACHE_H

#include "ultratypes.h"
#include "libc/stddef.h"

void osInvalDCache(void* vaddr, size_t nbytes);
void osInvalICache(void* vaddr, size_t nbytes);
void osWritebackDCache(void* vaddr, s32 nbytes);
void osWritebackDCacheAll(void);

#endif