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