Home
last modified time | relevance | path

Searched refs:ctrlreg (Results 1 – 2 of 2) sorted by relevance

/freebsd-13.1/sys/xen/interface/arch-x86/
H A Dxen.h195 unsigned long ctrlreg[8]; /* CR0-CR7 (control registers) */ member
/freebsd-13.1/sys/x86/xen/
H A Dpv.c379 ctxt->ctrlreg[3] = KPML4phys; in start_xen_ap()