510 		      const acpi_object_type property_map[], int last_prop)  in check_wobj()  argument
522 	if (elem_count != last_prop + 1)  in check_wobj()
526 	for (prop = 0; prop <= last_prop; prop++) {  in check_wobj()
583 	int last_prop;  in check_numeric_sensor_wobj()  local
609 		last_prop = HP_WMI_PROPERTY_RATE_UNITS;  in check_numeric_sensor_wobj()
614 		last_prop = HP_WMI_PROPERTY_CURRENT_READING;  in check_numeric_sensor_wobj()
626 	if (elem_count < last_prop - !is_new + 1)  in check_numeric_sensor_wobj()
629 	count = elem_count - (last_prop - !is_new);  in check_numeric_sensor_wobj()
631 	for (i = 0; i < elem_count && prop <= last_prop; i++, prop++) {  in check_numeric_sensor_wobj()
671 	if (prop != last_prop + 1)  in check_numeric_sensor_wobj()
816 	int last_prop = HP_WMI_PROPERTY_RATE_UNITS;  in populate_numeric_sensor_from_wobj()  local
841 		last_prop = HP_WMI_PROPERTY_CURRENT_READING;  in populate_numeric_sensor_from_wobj()
843 	for (; prop <= last_prop; prop++) {  in populate_numeric_sensor_from_wobj()
1007 	int last_prop = HP_WMI_PLATFORM_EVENTS_PROPERTY_POSSIBLE_STATUS;  in populate_platform_events_from_wobj()  local
1021 	for (; prop <= last_prop; prop++, element++) {  in populate_platform_events_from_wobj()