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 ----