pub fn is_protected_ipa(ipa: usize, ipa_bits: usize) -> bool