| 573 | } |
| 574 | |
| 575 | static void |
| 576 | vpid_init(void) |
| 577 | { |
| 578 | /* |
| 579 | * VPID 0 is required when the "enable VPID" execution control is |
| 580 | * disabled. |
| 581 | * |
| 582 | * VPIDs [1,VM_MAXCPU] are used as the "overflow namespace" when the |
| 583 | * unit number allocator does not have sufficient unique VPIDs to |
| 584 | * satisfy the allocation. |
| 585 | * |
| 586 | * The remaining VPIDs are managed by the unit number allocator. |
| 587 | */ |
| 588 | vpid_unr = new_unrhdr(VM_MAXCPU + 1, 0xffff, NULL); |
| 589 | } |
| 590 | |
| 591 | static void |
| 592 | vmx_disable(void *arg __unused) |
no test coverage detected