| 610 | } |
| 611 | |
| 612 | static int |
| 613 | vmx_modcleanup(void) |
| 614 | { |
| 615 | |
| 616 | if (pirvec >= 0) |
| 617 | lapic_ipi_free(pirvec); |
| 618 | |
| 619 | if (vpid_unr != NULL) { |
| 620 | delete_unrhdr(vpid_unr); |
| 621 | vpid_unr = NULL; |
| 622 | } |
| 623 | |
| 624 | if (nmi_flush_l1d_sw == 1) |
| 625 | nmi_flush_l1d_sw = 0; |
| 626 | |
| 627 | smp_rendezvous(NULL, vmx_disable, NULL, NULL); |
| 628 | |
| 629 | return (0); |
| 630 | } |
| 631 | |
| 632 | static void |
| 633 | vmx_enable(void *arg __unused) |
nothing calls this directly
no test coverage detected