Symbol: vdo_is_mapped_location