CMD_CHECK_NO_S1PTW_WR_IN_DIRTY_LOG
GUEST_SYNC(CMD_CHECK_NO_S1PTW_WR_IN_DIRTY_LOG);
if (cmd & CMD_CHECK_NO_S1PTW_WR_IN_DIRTY_LOG)