Symbol: sev_ghcb_mem_write_region_2