/*
 * =============================================================================
 *
 *  ======== mmuConfig_TableWalkerEnabled_dsp.c ========
 *
 *  Version 1.00
 *
 *  The DSP code for this example is used to execute commands sent by the MPU
 *	through the mailboxes.
 *
 *  The DSP memory mapping is described below.
 *
 *	TLB Entry	DSP Virtual		Physical				Access
  	No. 		Start Addr. 	Start Addr.		Size	Permission
 *	---------------------------------------------------------------	
 *	1			0x25 0000		0x1121 1000		Tiny	Full Access
 *	2			0x26 0000		0x1120 0000		Large	Full Access
 *	3			0x27 5400		0x1121 1400		Tiny	Full Access
 *	4			0x2A 7800		0x1121 1800		Tiny	Full Access
 *	5			0x2A 8000		0x1121 0000		Small	Full Access
 *	6			0x2B 0000		0x1121 1C00		Tiny	Full Access
 *	7			0x2B 1000		0x1121 2000		Tiny	Full Access
 *
 *	8			0x80 0000		0x1132 0000		Large	Read Only
 *  9			0x81 0000		0x1133 0000		Small	Read Only
 * 10			0x82 0000		0x1134 0000		Large	Read Only
 *
 * 11			0xA0 0000		0x1140 0000		Section Read Only
 *
 * 12			0xB0 0000		0x1160 0000		Section Full Access 
 *
 *  Test Procedure
 *
 *  1. Connect the OMAP5912 OSK to the emulator on the host system.
 *  2. Power on the board.
 *  3. Configure CCS Setup to work with the OMAP5912 OSK using these GEL files:
       DSP: osk5912_dspside_no_reset.gel
       ARM: osk5912_prg.gel
 *  4. From the Parallel Debug Manager, launch the CCS window corresponding to 
 *     the DSP.
 *  5. On the DSP side CCS window, open the dsp/mmuConfig_TableWalkerEnabled_dsp
 *		project.
 *     (Don't worry about missing files, you will specify a path to them next,
 *		click Ignore All).
 *  6. Access the Debug build options for the project and specify the following:
 *     - Compiler Tab
 *       - the path for all the OMAP5912 DSP CSL include files
 *     - Linker Tab
 *       - library path for location of the TMS470 rts32e.lib
 *       - library path for the csl_OMAP5912.lib
 *  7. On the DSP side CCS window, compile, load, and execute the program. The
 *     DSP will wait for commands from the MPU.
 *  8. From the Parallel Debug Manager, launch the CCS window corresponding to
 *     the MPU.
 *  9. On the MPU side CCS window, open the arm/mmuConfig_TableWalkerEnabled_dsp
 *		project.
 *     (Don't worry about missing files, you will specify a path to them next,
 *		click Ignore All).
 *  10.Access the Debug build options for the project and specify the following:
 *     - Compiler Tab
 *       - the path for all the OMAP5912 MPU CSL include files
 *     - Linker Tab
 *       - library path for location of the TMS470 rts32e.lib
 *       - library path for the csl_OMAP5912.lib
 *  11.On the MPU side CCS window, compile, load, and execute the program.
