forked from MIrrors/gasket-driver
79b8ea00a1138f314d8e30a48ddaa1907b40a5ce
The maximum number of entries in the page table is configurable at initialization time and should be used in gasket_extended_lvl0_page_idx. Change-Id: I39f2dba48083a3eef3951ecd9659ee9f4901275e Signed-off-by: Nick Ewalt <nicholasewalt@google.com> Signed-off-by: Todd Poynor <toddpoynor@google.com>
Description
No description provided
Languages
C
99.8%
Makefile
0.2%