Symbol: ghcb_mem_write_1