Searched refs:fcr3 (Results 1 – 1 of 1) sorted by relevance
113 uint64_t fcr2, fcr3; member1304 EBX = msr.fcr3 >> 32; in cpu_CPUID()1305 ECX = msr.fcr3 & 0xffffffff; in cpu_CPUID()1540 msr.fcr3 = EAX | ((uint64_t)EDX << 32); in cpu_WRMSR()