tree 293c94dd4ab6f7e65e267850cb80c89512df31d9
parent fd19aca416645595270d40287ea4125d01e8ea52
author Leonid Lobachev <leonidl@google.com> 1569272557 -0700
committer Jonas Larsson <ljonas@google.com> 1572563631 -0700

staging: gasket: page_table: use total_entries for max ext lvl0 page idx

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>