00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015 #ifndef PSPSTDIO_KERNEL_H
00016 #define PSPSTDIO_KERNEL_H
00017
00018 #include <psptypes.h>
00019 #include <pspkerneltypes.h>
00020 #include <pspiofilemgr.h>
00021
00026 #ifdef __cplusplus
00027 extern "C" {
00028 #endif
00029
00032
00042 int sceKernelStdoutReopen(const char *file, int flags, SceMode mode);
00043
00053 int sceKernelStderrReopen(const char *file, int flags, SceMode mode);
00054
00055
00065 int fdprintf(int fd, const char *format, ...);
00068 #ifdef __cplusplus
00069 }
00070 #endif
00071
00072 #endif