system_uses_ttbr0_pan
if (system_uses_ttbr0_pan()) {
if (mm != &init_mm && !system_uses_ttbr0_pan())
if (!system_uses_ttbr0_pan())
if (!system_uses_ttbr0_pan())
if (!system_uses_ttbr0_pan())
if (system_uses_ttbr0_pan())
if (!system_uses_ttbr0_pan())
if (is_ttbr0_addr(addr) && system_uses_ttbr0_pan())