taglinefilesource code
p1_door_locked1082drivers/block/sbpcd.cif (st&p2_door_locked) D_S[d].status_bits |= p1_door_locked;
p1_door_locked1095drivers/block/sbpcd.cif (st&p2_door_locked) D_S[d].status_bits |= p1_door_locked;