Symbol: kmdb_kdi_range_is_nontoxic