Searched refs:fx_rdp (Results 1 – 3 of 3) sorted by relevance
219 uint64_t fx_rdp; member
104 fx->fx_rdp = (uint64_t)fn->f_dp; in fnsave_to_fxsave()164 fn->f_dp = (uint32_t)fx->fx_rdp; in fxsave_to_fnsave()
1496 (void) printf("fpu_rdp[%d]\t\t0x%016lx\n", vcpuid, fx->fx_rdp); in show_fpu()