Searched refs:pdpte (Results 1 – 1 of 1) sorted by relevance
| /freebsd/usr.sbin/bhyve/amd64/ |
| H A D | task_switch.c | 483 uint64_t *pdpte, maxphyaddr, reserved; in tss32_restore() local
508 pdpte = paddr_guest2host(ctx, tss->tss_cr3 & ~0x1f, 32); in tss32_restore()
511 if (!(pdpte[i] & 0x1)) in tss32_restore()
518 if (pdpte[i] & reserved) { in tss32_restore()
523 SETREG(vcpu, VM_REG_GUEST_PDPTE0, pdpte[0]); in tss32_restore()
524 SETREG(vcpu, VM_REG_GUEST_PDPTE1, pdpte[1]); in tss32_restore()
525 SETREG(vcpu, VM_REG_GUEST_PDPTE2, pdpte[2]); in tss32_restore()
526 SETREG(vcpu, VM_REG_GUEST_PDPTE3, pdpte[3]); in tss32_restore()
|