441 	outmsg.cmd.device_change_state.dev_no = p->chipset_dev_no;  in device_changestate_responder()
641 	u32 dev_no = cmd->create_device.dev_no;  in visorbus_device_create()  local
660 	dev_info = visorbus_get_device_by_id(bus_no, dev_no, NULL);  in visorbus_device_create()
663 			"failed to get bus by id: %d/%d\n", bus_no, dev_no);  in visorbus_device_create()
674 	dev_info->chipset_dev_no = dev_no;  in visorbus_device_create()
684 			bus_no, dev_no);  in visorbus_device_create()
731 	u32 dev_no = cmd->device_change_state.dev_no;  in visorbus_device_changestate()  local
736 	dev_info = visorbus_get_device_by_id(bus_no, dev_no, NULL);  in visorbus_device_changestate()
789 	u32 dev_no = cmd->destroy_device.dev_no;  in visorbus_device_destroy()  local
793 	dev_info = visorbus_get_device_by_id(bus_no, dev_no, NULL);  in visorbus_device_destroy()
1053 		cmd->device_change_state.dev_no >> 3);  in parahotplug_request_kickoff()
1055 		cmd->device_change_state.dev_no & 0x7);  in parahotplug_request_kickoff()