Home
last modified time | relevance | path

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

/illumos-gate/usr/src/uts/intel/sys/
H A Dtss.h109 uint32_t tss_cr3; member
/illumos-gate/usr/src/cmd/bhyve/amd64/
H A Dtask_switch.c78 uint32_t tss_cr3; member
521 pdpte = paddr_guest2host(ctx, tss->tss_cr3 & ~0x1f, 32); in tss32_restore()
541 SETREG(vcpu, VM_REG_GUEST_CR3, tss->tss_cr3); in tss32_restore()
542 ts->paging.cr3 = tss->tss_cr3; in tss32_restore()