<?xml version="1.0" ?>
<?xml-stylesheet type="text/xsl" href="psplibdocdisplay.xsl" ?>
<PSPLIBDOC>
	<PRXFILES>
		<PRXFILE>
		<PRX>kd/codec.prx</PRX>
		<PRXNAME>sceWM8750_Driver</PRXNAME>
		<LIBRARIES>
			<LIBRARY>
				<NAME>ThreadManForKernel</NAME>
				<FLAGS>0x00010011</FLAGS>
				<FUNCTIONS>
					<FUNCTION>
						<NID>0x6B30100F</NID>
						<NAME>sceKernelUnlockMutex</NAME>
					</FUNCTION>
					<FUNCTION>
						<NID>0xB011B11F</NID>
						<NAME>sceKernelLockMutex</NAME>
					</FUNCTION>
					<FUNCTION>
						<NID>0xB7D098C6</NID>
						<NAME>sceKernelCreateMutex</NAME>
					</FUNCTION>
					<FUNCTION>
						<NID>0xCEADEB47</NID>
						<NAME>sceKernelDelayThread</NAME>
					</FUNCTION>
					<FUNCTION>
						<NID>0xF8170FBE</NID>
						<NAME>sceKernelDeleteMutex</NAME>
					</FUNCTION>
				</FUNCTIONS>
			</LIBRARY>
			<LIBRARY>
				<NAME>sceSysEventForKernel</NAME>
				<FLAGS>0x00010011</FLAGS>
				<FUNCTIONS>
					<FUNCTION>
						<NID>0xCD9E4BB5</NID>
						<NAME>sceKernelRegisterSysEventHandler</NAME>
					</FUNCTION>
					<FUNCTION>
						<NID>0xD7D3FDCD</NID>
						<NAME>sceKernelUnregisterSysEventHandler</NAME>
					</FUNCTION>
				</FUNCTIONS>
			</LIBRARY>
			<LIBRARY>
				<NAME>sceI2c_driver</NAME>
				<FLAGS>0x00010011</FLAGS>
				<FUNCTIONS>
					<FUNCTION>
						<NID>0xE9463B99</NID>
						<NAME>sceI2cMasterTransmit</NAME>
					</FUNCTION>
				</FUNCTIONS>
			</LIBRARY>
			<LIBRARY>
				<NAME>sceSysreg_driver</NAME>
				<FLAGS>0x00010011</FLAGS>
				<FUNCTIONS>
					<FUNCTION>
						<NID>0xDE170397</NID>
						<NAME>sceSysregAudioClkoutClkDisable</NAME>
					</FUNCTION>
					<FUNCTION>
						<NID>0xE2A5D1EE</NID>
						<NAME>sceSysregGetTachyonVersion</NAME>
					</FUNCTION>
				</FUNCTIONS>
			</LIBRARY>
			<LIBRARY>
				<NAME>sceGpio_driver</NAME>
				<FLAGS>0x00010011</FLAGS>
				<FUNCTIONS>
					<FUNCTION>
						<NID>0x103C3EB2</NID>
						<NAME>sceGpioPortClear</NAME>
					</FUNCTION>
					<FUNCTION>
						<NID>0x310F0CCF</NID>
						<NAME>sceGpioPortSet</NAME>
					</FUNCTION>
					<FUNCTION>
						<NID>0x317D9D2C</NID>
						<NAME>sceGpioSetPortMode</NAME>
					</FUNCTION>
				</FUNCTIONS>
			</LIBRARY>
		</LIBRARIES>
		</PRXFILE>
	</PRXFILES>
</PSPLIBDOC>
