cast rdev to uint64