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