Searched refs:pdpte (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/cmd/bhyve/amd64/ |
| H A D | task_switch.c | 496 uint64_t *pdpte, maxphyaddr, reserved; in tss32_restore() local
521 pdpte = paddr_guest2host(ctx, tss->tss_cr3 & ~0x1f, 32); in tss32_restore()
524 if (!(pdpte[i] & 0x1)) in tss32_restore()
531 if (pdpte[i] & reserved) { in tss32_restore()
536 SETREG(vcpu, VM_REG_GUEST_PDPTE0, pdpte[0]); in tss32_restore()
537 SETREG(vcpu, VM_REG_GUEST_PDPTE1, pdpte[1]); in tss32_restore()
538 SETREG(vcpu, VM_REG_GUEST_PDPTE2, pdpte[2]); in tss32_restore()
539 SETREG(vcpu, VM_REG_GUEST_PDPTE3, pdpte[3]); in tss32_restore()
|