00001 /* 00002 * PSP Software Development Kit - http://www.pspdev.org 00003 * ----------------------------------------------------------------------- 00004 * Licensed under the BSD license, see LICENSE in PSPSDK root for details. 00005 * 00006 * psputilsforkernel.h - Include file for UtilsForKernel 00007 * 00008 * Copyright (c) 2005 John Kelley <ps2dev@kelley.ca> 00009 * Copyright (c) 2005 adresd 00010 * 00011 * $Id: psputilsforkernel.h 1636 2005-12-30 02:04:09Z tyranid $ 00012 */ 00013 00014 #ifndef __PSPUTILSFORKERNEL_H__ 00015 #define __PSPUTILSFORKERNEL_H__ 00016 00017 #ifdef __cplusplus 00018 extern "C" { 00019 #endif 00020 00030 int sceKernelGzipDecompress(u8 *dest, u32 destSize, const u8 *src, u32 unknown); 00031 00035 void sceKernelDcacheInvalidateAll(void); 00036 00043 int sceKernelDcacheProbe(void *addr); 00044 00048 void sceKernelIcacheInvalidateAll(void); 00049 00055 void sceKernelIcacheInvalidateRange(const void *addr, unsigned int size); 00056 00063 int sceKernelIcacheProbe(const void *addr); 00064 00065 #ifdef __cplusplus 00066 } 00067 #endif 00068 00069 #endif