Symbol: ghcb_mem_write_2