Home
last modified time | relevance | path

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

/illumos-gate/usr/src/cmd/bhyve/
H A Dtask_switch.c497 uint64_t *pdpte, maxphyaddr, reserved; in tss32_restore() local
522 pdpte = paddr_guest2host(ctx, tss->tss_cr3 & ~0x1f, 32); in tss32_restore()
525 if (!(pdpte[i] & 0x1)) in tss32_restore()
532 if (pdpte[i] & reserved) { in tss32_restore()
537 SETREG(vcpu, VM_REG_GUEST_PDPTE0, pdpte[0]); in tss32_restore()
538 SETREG(vcpu, VM_REG_GUEST_PDPTE1, pdpte[1]); in tss32_restore()
539 SETREG(vcpu, VM_REG_GUEST_PDPTE2, pdpte[2]); in tss32_restore()
540 SETREG(vcpu, VM_REG_GUEST_PDPTE3, pdpte[3]); in tss32_restore()