#ifndef _IN_LIB_LIB_48150_H
#define _IN_LIB_LIB_48150_H
#include <ultra64.h>
#include "types.h"

void osInvalICache(void *vaddr, s32 nbytes);

#endif