KAIF_CPU_CMD_SWITCH
return (KAIF_CPU_CMD_SWITCH);
rv = KAIF_CPU_CMD_SWITCH;
} while (cmd == KAIF_CPU_CMD_SWITCH);