Symbol: guest_check_write_in_dirty_log