8956 Implement KPTI
Reviewed by: Jerry Jelinek <jerry.jelinek@joyent.com>
Reviewed by: Robert Mustacchi <rm@joyent.com>

@@ -18,10 +18,12 @@
  *
  * CDDL HEADER END
  */
 /*
  * Copyright (c) 1992, 2010, Oracle and/or its affiliates. All rights reserved.
+ *
+ * Copyright 2018 Joyent, Inc.
  */
 
 #ifndef _GENASSYM
 #define _GENASSYM
 #endif

@@ -66,12 +68,10 @@
 #define OFFSET  OFFSET...
 
 int
 main(int argc, char *argv[])
 {
-        printf("#define\tT_AST 0x%x\n", T_AST);
-
         printf("#define\tLOCK_LEVEL 0x%x\n", LOCK_LEVEL);
         printf("#define\tCLOCK_LEVEL 0x%x\n", CLOCK_LEVEL);
         printf("#define\tDISP_LEVEL 0x%x\n", DISP_LEVEL);
         printf("#define\tPIL_MAX 0x%x\n", PIL_MAX);
         printf("#define\tHIGH_LEVELS 0x%x\n", HIGH_LEVELS);

@@ -107,24 +107,10 @@
         printf("#define\tLMS_USER 0x%x\n", LMS_USER);
         printf("#define\tLMS_SYSTEM 0x%x\n", LMS_SYSTEM);
 
         printf("#define\tSSE_MXCSR_EFLAGS 0x%x\n", SSE_MXCSR_EFLAGS);
 
-        printf("#define\tFP_487 0x%x\n", FP_487);
-        printf("#define\tFP_486 0x%x\n", FP_486);
-        printf("#define\tFPU_CW_INIT 0x%x\n", FPU_CW_INIT);
-        printf("#define\tFPU_EN 0x%x\n", FPU_EN);
-        printf("#define\tFPU_VALID 0x%x\n", FPU_VALID);
-
-        printf("#define\tFP_NO 0x%x\n", FP_NO);
-        printf("#define\tFP_SW 0x%x\n", FP_SW);
-        printf("#define\tFP_HW 0x%x\n", FP_HW);
-        printf("#define\tFP_287 0x%x\n", FP_287);
-        printf("#define\tFP_387 0x%x\n", FP_387);
-        printf("#define\t__FP_SSE 0x%x\n", __FP_SSE);
-
-        printf("#define\tFP_FNSAVE 0x%x\n", FP_FNSAVE);
         printf("#define\tFP_FXSAVE 0x%x\n", FP_FXSAVE);
         printf("#define\tFP_XSAVE 0x%x\n", FP_XSAVE);
 
         printf("#define\tAV_INT_SPURIOUS 0x%x\n", AV_INT_SPURIOUS);
 

@@ -152,15 +138,10 @@
         /* Hack value just to allow clock to be kicked */
         printf("#define\tNSEC_PER_CLOCK_TICK 0x%llx\n", NANOSEC / 100);
 
         printf("#define\tNSEC_PER_COUNTER_TICK 0x%llx\n", NANOSEC / PIT_HZ);
 
-        printf("#define\tPITCTR0_PORT 0x%x\n", PITCTR0_PORT);
-        printf("#define\tPITCTL_PORT 0x%x\n", PITCTL_PORT);
-        printf("#define\tPIT_COUNTDOWN 0x%x\n",
-            PIT_C0 | PIT_LOADMODE | PIT_NDIVMODE);
-
         printf("#define\tNBPW 0x%x\n", NBPW);
 
         printf("#define\tDDI_ACCATTR_IO_SPACE 0x%x\n", DDI_ACCATTR_IO_SPACE);
         printf("#define\tDDI_ACCATTR_DIRECT 0x%x\n", DDI_ACCATTR_DIRECT);
         printf("#define\tDDI_ACCATTR_CPU_VADDR 0x%x\n", DDI_ACCATTR_CPU_VADDR);