Symbol: sev_ghcb_mem_copy_4