Searched refs:rxcr (Results 1 - 6 of 6) sorted by relevance

/freebsd-10-stable/sys/amd64/vmm/
H A Dvmm_host.c76 vmm_host_xcr0 = rxcr(0);
H A Dvmm.c1083 vcpu->guest_xcr0 = rxcr(0);
/freebsd-10-stable/sys/amd64/include/
H A Dcpufunc.h466 rxcr(u_int reg) function
/freebsd-10-stable/sys/i386/include/
H A Dcpufunc.h475 rxcr(u_int reg) function
/freebsd-10-stable/sys/amd64/amd64/
H A Dmachdep.c1234 db_printf("xcr0\t0x%016lx\n", rxcr(0));
/freebsd-10-stable/sys/i386/i386/
H A Dmachdep.c2039 db_printf("xcr0\t0x%016llx\n", rxcr(0));

Completed in 81 milliseconds