kerneltest/e32test/bmarm/t_wsd_dl1.def
author mikek
Tue, 15 Jun 2010 12:46:12 +0100
branchGCC_SURGE
changeset 150 9b2dbb18d44b
parent 90 947f0dc9f7a8
permissions -rw-r--r--
Speculative fix for bug #1409 as per comment #4. Can't test until can build kernel.

EXPORTS
	ExportedData @ 1 NONAME ; TInt32 ExportedData
	CheckExportedDataAddress__FPv @ 2 NONAME ; void CheckExportedDataAddress(void* aDataAddr)