taglinefilesource code
p2_door_closed1094drivers/block/sbpcd.cif (st&p2_door_closed) D_S[d].status_bits |= p1_door_closed;
p2_door_closed1107drivers/block/sbpcd.cif (st&p2_door_closed) D_S[d].status_bits |= p1_door_closed;