Print this page
8956 Implement KPTI
Reviewed by: Jerry Jelinek <jerry.jelinek@joyent.com>
Reviewed by: Robert Mustacchi <rm@joyent.com>
*** 18,27 ****
--- 18,29 ----
*
* 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,77 ****
#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);
--- 68,77 ----
*** 107,130 ****
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);
--- 107,116 ----
*** 152,166 ****
/* 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);
--- 138,147 ----