| 647 | } |
| 648 | |
| 649 | void |
| 650 | cpu_setregs(void) |
| 651 | { |
| 652 | register_t cr0; |
| 653 | |
| 654 | cr0 = rcr0(); |
| 655 | /* |
| 656 | * CR0_MP, CR0_NE and CR0_TS are also set by npx_probe() for the |
| 657 | * BSP. See the comments there about why we set them. |
| 658 | */ |
| 659 | cr0 |= CR0_MP | CR0_NE | CR0_TS | CR0_WP | CR0_AM; |
| 660 | load_cr0(cr0); |
| 661 | } |
| 662 | |
| 663 | /* |
| 664 | * Initialize amd64 and configure to run kernel |
no test coverage detected