rem: dprintf("2\n");
context: scan_device(ide_bus_info *bus, int device){	SHOW_FLOW0(4, "");	// currently, the SCSI bus manager doesn't block the	// bus when a bus or device scan is issued, so we	// have to use a SPC for that to be sure no one else	// is accessing the device or bus concurrentlydprintf("1\n");	schedule_synced_pc(bus, &bus->scan_bus_syncinfo, (void *)device);dprintf("2\n");	acquire_sem(bus->scan_device_sem);dprintf("3\n");	return;	}