Symbol: sev_ghcb_mem_set_region_1