Searched refs:pdpte (Results 1 - 1 of 1) sorted by relevance
| /freebsd-11.0-release/usr.sbin/bhyve/ |
| H A D | task_switch.c | 484 uint64_t *pdpte, maxphyaddr, reserved; local
509 pdpte = paddr_guest2host(ctx, tss->tss_cr3 & ~0x1f, 32);
512 if (!(pdpte[i] & 0x1))
519 if (pdpte[i] & reserved) {
524 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE0, pdpte[0]);
525 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE1, pdpte[1]);
526 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE2, pdpte[2]);
527 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE3, pdpte[3]);
|
Completed in 145 milliseconds