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 * pspkdebug.h - Interface to KDebugForKernel. 00007 * 00008 * Copyright (c) 2005 James Forshaw <tyranid@gmail.com> 00009 * 00010 * $Id: pspkdebug.h 1971 2006-07-17 19:43:52Z tyranid $ 00011 */ 00012 00013 #ifndef PSPKDEBUG_H 00014 #define PSPKDEBUG_H 00015 00016 #include <pspkerneltypes.h> 00017 00021 #ifdef __cplusplus 00022 extern "C" { 00023 #endif 00024 00027 00029 typedef void (*PspDebugPutChar)(unsigned short* args, unsigned int ch); 00030 00036 void sceKernelRegisterDebugPutchar(PspDebugPutChar func); 00037 00043 PspDebugPutChar sceKernelGetDebugPutchar(void); 00044 00051 void Kprintf(const char *format, ...) __attribute__((format(printf, 1, 2))); 00052 00055 #ifdef __cplusplus 00056 } 00057 #endif 00058 00059 #endif
1.5.2