kernel function difference

[PSAR SDK vs PSP SDK]
- pspinit.h no difference
- psploadexec_kernel.h sceKernelLoadExecVSHMs4 is available even if _PSP_FW_VERSION < 300...
- pspmodulemgr.h
---PSAR SDK only---
SceUID ModuleMgrForUser_FEF27DC1(const char *path, int flags, SceKernelLMOption *option);
#define sceKernelLoadModuleDNAS	ModuleMgrForUser_FEF27DC1
int	ModuleMgrForUser_8F2DF740(int exitcode, SceSize argsize, void *argp, int *status, SceKernelSMOption *option);
#define sceKernelStopUnloadSelfModuleWithStatus ModuleMgrForUser_8F2DF740
---PSP SDK only---
int sceKernelGetModuleId(void);
- pspmodulemgr_kernel.h
---PSAR SDK only---
SceUID sceKernelLoadModuleVSH(const char *path, int flags, SceKernelLMOption *option);
SceUID ModuleMgrForKernel_A1A78C58(const char *path, int flags, SceKernelLMOption *option);
SceUID ModuleMgrForKernel_896C15B6(const char *path, int flags, SceKernelLMOption *option);
SceUID ModuleMgrForKernel_6723BBFF(const char *path, int flags, SceKernelLMOption *option);
SceUID ModuleMgrForKernel_49C5B9E1(const char *path, int flags, SceKernelLMOption *option);
SceUID ModuleMgrForKernel_ECC2EAA9(const char *path, int flags, SceKernelLMOption *option);
SceUID ModuleMgrForKernel_F07E1A2F(const char *path, int flags, SceKernelLMOption *option);
SceUID ModuleMgrForKernel_6DE9FF11(int apitype, const char *path, int flags, SceKernelLMOption *option);
int	ModuleMgrForKernel_2BE4807D(int exitcode, SceSize argsize, void *argp, int *status, SceKernelSMOption *option);
#define sceKernelLoadModuleDisc ModuleMgrForKernel_A1A78C58
#define sceKernelLoadModuleDiscUpdater ModuleMgrForKernel_896C15B6
#define sceKernelLoadModuleMs1 ModuleMgrForKernel_6723BBFF
#define sceKernelLoadModuleMs2 ModuleMgrForKernel_49C5B9E1
#define sceKernelLoadModuleMs3 ModuleMgrForKernel_ECC2EAA9
#define sceKernelLoadModuleMs4 ModuleMgrForKernel_F07E1A2F
#define sceKernelLoadModuleWithApitype2 ModuleMgrForKernel_6DE9FF11
#define sceKernelStopUnloadSelfModuleWithStatusKernel ModuleMgrForKernel_2BE4807D
- pspsysmem.h
---PSAR SDK only---
int sceKernelSetCompiledSdkVersion(int sdkversion);
int sceKernelGetCompiledSdkVersion(void);
int sceKernelSetCompilerVersion(int version);
int sceKernelGetCompilerVersion(void);
---PSP SDK only---
void sceKernelPrintf(const char *format, ...) __attribute__((format(printf, 1, 2)));
- pspsysmem_kernel.h no difference
- psputilsforkernel.h
---PSAR SDK only---
int sceKernelLzrcDecode(u8 *dest, u32 destSize, const u8 *src, void *unknown);

[PSAR SDK vs PRO SDK]
- kubridge.h
---PRO SDK only---
int kuKernelFindModuleByName(char *modname, SceModule *mod);
void kuKernelIcacheInvalidateAll(void);
u32 kuKernelPeekw(void *addr);
void kuKernelPokew(void *addr, u32 value);
void *kuKernelMemcpy(void *dest, const void *src, size_t num);
int kuKernelCall(void *func_addr, struct KernelCallArg *args);
int kuKernelCallExtendStack(void *func_addr, struct KernelCallArg *args, int stack_size);
void kuKernelGetUmdFile(char *umdfile, int size);
- pspcrypt.h
---PRO SDK only---
int sceUtilsBufferCopyByPollingWithRange(void *inbuf, SceSize insize, void *outbuf, int outsize, int cmd);
- pspmodulemgr_kernel.h no difference
- pspusbdevice.h no difference
- systemctrl.h/systemctrl_se.h too many differences
- vshctrl.h
---PRO SDK only---
int vctrlVSHUpdateConfig(SEConfig *config);
vshDetectDiscType(const char *path);

[M33 SDK vs PRO SDK]
- systemctrl.h
int sctrlKernelLoadExecVSHEf2(const char *file, struct SceKernelLoadExecVSHParam *param);
int sctrlHENGetMinorVersion();
void sctrlHENSetSpeed(int cpu, int bus);
void sctrlHENPatchSyscall(void *addr, void *newaddr);
int sctrlKernelQuerySystemCall(void *func_addr);
int sctrlKernelBootFrom(void);
int sctrlPatchModule(char *modname, u32 inst, u32 offset);
u32 sctrlModuleTextAddr(char *modname);
u32 sctrlGetInitTextAddr(void);
void sctrlSetCustomStartModule(int (*func)(int modid, SceSize argsize, void *argp, int *modstatus, SceKernelSMOption *opt));
int sctrlKernelSetNidResolver(char *libname, u32 enabled);
u32 sctrlKernelRand(void);
void sctrlHENPatchSyscall(u32 addr, void *newaddr);
-systemctrl_se.h
SEConfig's definition
int sctrlSEGetDiscType(void);
u32 sctrlSEGetBootConfFileIndex(void);