Searched refs:x87_dp (Results 1 – 2 of 2) sorted by relevance
469 u64 x87_dp; member
932 save->x87_dp = xsave->i387.rdp; in sev_es_sync_vmsa()