ibmvmc_state_sched_reset
if (ibmvmc.state != ibmvmc_state_sched_reset) {
ibmvmc.state = ibmvmc_state_sched_reset;
(ibmvmc.state == ibmvmc_state_sched_reset) ||
if (ibmvmc.state == ibmvmc_state_sched_reset)
if (ibmvmc.state == ibmvmc_state_sched_reset)