# CONFIG_STRICT_MM_TYPECHECKS is not set
