Lin Ma 73ad2572c8 Calculate TCR bits based on VA and PA ... Currently the TCR bits are hardcoded in xlat_tables.c. In order to map higher physical address into low virtual address, the TCR bits need to be configured accordingly. This patch is to save the max VA and PA and calculate the TCR.PS/IPS and t0sz bits in init_xlat_tables function. Change-Id: Ia7a58e5372b20200153057d457f4be5ddbb7dae4		2014-07-09 12:33:33 +01:00
..
cache_helpers.S	Make system register functions inline assembly	2014-06-10 15:26:14 +01:00
cpu_helpers.S	Access system registers directly in assembler	2014-05-07 11:29:50 +01:00
misc_helpers.S	Make system register functions inline assembly	2014-06-10 15:26:14 +01:00
xlat_helpers.c	Reduce deep nesting of header files	2014-05-06 13:57:48 +01:00
xlat_tables.c	Calculate TCR bits based on VA and PA	2014-07-09 12:33:33 +01:00