Skip to content
Snippets Groups Projects
user avatar
Jinbum Park authored
pgd_cache is setup once while init stage and never changed after
that, so it is good candidate for __ro_after_init

Signed-off-by: default avatarJinbum Park <jinb.park7@gmail.com>
Signed-off-by: default avatarWill Deacon <will.deacon@arm.com>
a349b302
Name Last commit Last update