Symbol: guest_check_no_s1ptw_wr_in_dirty_log