EFI_ALLOWED_TYPES_MASK
if ((efi_map_regs & ~EFI_ALLOWED_TYPES_MASK) != 0) {
efi_map_regs & ~EFI_ALLOWED_TYPES_MASK);
efi_map_regs &= EFI_ALLOWED_TYPES_MASK;