Searched refs:fx_rip (Results 1 – 3 of 3) sorted by relevance
218 uint64_t fx_rip; member
103 fx->fx_rip = (uint64_t)fn->f_eip; in fnsave_to_fxsave()162 fn->f_eip = (uint32_t)fx->fx_rip; in fxsave_to_fnsave()
1495 (void) printf("fpu_rip[%d]\t\t0x%016lx\n", vcpuid, fx->fx_rip); in show_fpu()