diff -r 000000000000 -r a41df078684a kernel/eka/bmarm/epbusu.def
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/kernel/eka/bmarm/epbusu.def	Mon Oct 19 15:55:17 2009 +0100
@@ -0,0 +1,53 @@
+EXPORTS
+	__9TPccdType @ 1 NONAME ; TPccdType::TPccdType(void)
+	Close__11RPccdWindow @ 2 NONAME ; RPccdWindow::Close(void)
+	Create__11RPccdWindowP13DPcCardSocketG9TPccdChnk16TPccdAccessSpeedUi @ 3 NONAME ; RPccdWindow::Create(DPcCardSocket *, TPccdChnk, TPccdAccessSpeed, unsigned int)
+	Create__26TPcCardControllerInterface @ 4 NONAME ; TPcCardControllerInterface::Create(void)
+	DeltaCurrentConsumption__11DPBusSocketi @ 5 NONAME ; DPBusSocket::DeltaCurrentConsumption(int)
+	EndInCritical__11DPBusSocket @ 6 NONAME ; DPBusSocket::EndInCritical(void)
+	FindReadConfig__10TCisReaderR13TPcCardConfig @ 7 NONAME ; TCisReader::FindReadConfig(TPcCardConfig &)
+	FindReadRegion__10TCisReader14TPccdSocketVccR13TPcCardRegionUc @ 8 NONAME ; TCisReader::FindReadRegion(TPccdSocketVcc, TPcCardRegion &, unsigned char)
+	FindReadTuple__10TCisReaderUcR5TDes8Ui @ 9 NONAME ; TCisReader::FindReadTuple(unsigned char, TDes8 &, unsigned int)
+	ForceMediaChange__11DPBusSocket @ 10 NONAME ; DPBusSocket::ForceMediaChange(void)
+	InCritical__11DPBusSocket @ 11 NONAME ; DPBusSocket::InCritical(void)
+	IsMachineCompatible__13TPcCardConfigii @ 12 NONAME ; TPcCardConfig::IsMachineCompatible(int, int)
+	IsMachineCompatible__13TPcCardRegioni @ 13 NONAME ; TPcCardRegion::IsMachineCompatible(int)
+	LinearAddress__11RPccdWindow @ 14 NONAME ; RPccdWindow::LinearAddress(void)
+	Panic__11DPBusSocketQ211DPBusSocket6TPanic @ 15 NONAME ; DPBusSocket::Panic(DPBusSocket::TPanic)
+	PowerUp__11DPBusSocket @ 16 NONAME ; DPBusSocket::PowerUp(void)
+	ReadConfigReg__13DPcCardSocketiiRUc @ 17 NONAME ; DPcCardSocket::ReadConfigReg(int, int, unsigned char &)
+	ReadTuple__10TCisReaderR5TDes8 @ 18 NONAME ; TCisReader::ReadTuple(TDes8 &)
+	ReleaseConfig__13DPcCardSocketiP5DBase @ 19 NONAME ; DPcCardSocket::ReleaseConfig(int, DBase *)
+	Remove__13TPBusCallBack @ 20 NONAME ; TPBusCallBack::Remove(void)
+	RequestConfig__13DPcCardSocketiP5DBaseR13TPcCardConfigUi @ 21 NONAME ; DPcCardSocket::RequestConfig(int, DBase *, TPcCardConfig &, unsigned int)
+	Restart__10TCisReader @ 22 NONAME ; TCisReader::Restart(void)
+	SelectCis__10TCisReaderii @ 23 NONAME ; TCisReader::SelectCis(int, int)
+	SetSocket__13TPBusCallBacki @ 24 NONAME ; TPBusCallBack::SetSocket(int)
+	SetupChunkHw__11RPccdWindowUi @ 25 NONAME ; RPccdWindow::SetupChunkHw(unsigned int)
+	SocketFromId__11DPBusSocketi @ 26 NONAME ; DPBusSocket::SocketFromId(int)
+	VerifyCard__13DPcCardSocketR9TPccdType @ 27 NONAME ; DPcCardSocket::VerifyCard(TPccdType &)
+	WriteConfigReg__13DPcCardSocketiiUc @ 28 NONAME ; DPcCardSocket::WriteConfigReg(int, int, unsigned char)
+	__10TCisReader @ 29 NONAME ; TCisReader::TCisReader(void)
+	__11RPccdWindow @ 30 NONAME ; RPccdWindow::RPccdWindow(void)
+	__13TPBusCallBack @ 31 NONAME ; TPBusCallBack::TPBusCallBack(void)
+	__13TPBusCallBackPFPviPvPv_vPv @ 32 NONAME ; TPBusCallBack::TPBusCallBack(void (*)(void *, int, void *, void *), void *)
+	__13TPBusCallBackPFPvi_vPvUi @ 33 NONAME ; TPBusCallBack::TPBusCallBack(void (*)(void *, int), void *, unsigned int)
+	__13TPcCardConfig @ 34 NONAME ; TPcCardConfig::TPcCardConfig(void)
+	__13TPcCardRegion @ 35 NONAME ; TPcCardRegion::TPcCardRegion(void)
+	__9TPccdChnk @ 36 NONAME ; TPccdChnk::TPccdChnk(void)
+	__9TPccdChnk12TPccdMemTypeUlUl @ 37 NONAME ; TPccdChnk::TPccdChnk(TPccdMemType, unsigned long, unsigned long)
+	Add__11DPBusSocketP13TPBusCallBack @ 38 NONAME ; DPBusSocket::Add(TPBusCallBack *)
+	Create__16DMediaChangeBase @ 39 NONAME ; DMediaChangeBase::Create(void)
+	DoCreate__12DPBusPsuBase @ 40 NONAME ; DPBusPsuBase::DoCreate(void)
+	DoTickService__12DPBusPsuBase @ 41 NONAME ; DPBusPsuBase::DoTickService(void)
+	DoorClosedService__16DMediaChangeBase @ 42 NONAME ; DMediaChangeBase::DoorClosedService(void)
+	DoorOpenService__16DMediaChangeBase @ 43 NONAME ; DMediaChangeBase::DoorOpenService(void)
+	IsLocked__12DPBusPsuBase @ 44 NONAME ; DPBusPsuBase::IsLocked(void)
+	PowerUpSequenceComplete__11DPBusSocketi @ 45 NONAME ; DPBusSocket::PowerUpSequenceComplete(int)
+	ReceiveVoltageCheckResult__12DPBusPsuBasei @ 46 NONAME ; DPBusPsuBase::ReceiveVoltageCheckResult(int)
+	SetState__12DPBusPsuBase13TPBusPsuState @ 47 NONAME ; DPBusPsuBase::SetState(TPBusPsuState)
+	__16DMediaChangeBasei @ 48 NONAME ; DMediaChangeBase::DMediaChangeBase(int)
+	PowerDownComplete__11DPBusSocket @ 49 NONAME ; DPBusSocket::PowerDownComplete(void)
+	RequestAsyncPowerDown__11DPBusSocket @ 50 NONAME ; DPBusSocket::RequestAsyncPowerDown(void)
+	ControlIO__11DPBusSocketiPvT2 @ 51 NONAME ; DPBusSocket::ControlIO(int, void *, void *)
+