sn1
state = sn1;
case sn1:
state = sn1;
case sn1:
u_int8_t sc1 = 0, sn1 = 0, cl1 = 0, ch1 = 0;
sn1 = bus_space_read_1(wdr->cmd_iot,
chp->ch_channel, sc1, sn1, cl1, ch1), DEBUG_PROBE);
specnode_t *sn, *sn1;
error = spec_io_enter(vp, &sn1, &dev1);
KASSERT(sn1 == sn);