hall sensor is now a define