Symbol: ghcb_mem_write_4