Lines Matching refs:printf
71 printf("#define\tT_AST 0x%x\n", T_AST); in main()
73 printf("#define\tLOCK_LEVEL 0x%x\n", LOCK_LEVEL); in main()
74 printf("#define\tCLOCK_LEVEL 0x%x\n", CLOCK_LEVEL); in main()
75 printf("#define\tDISP_LEVEL 0x%x\n", DISP_LEVEL); in main()
76 printf("#define\tPIL_MAX 0x%x\n", PIL_MAX); in main()
77 printf("#define\tHIGH_LEVELS 0x%x\n", HIGH_LEVELS); in main()
78 printf("#define\tCPU_INTR_ACTV_HIGH_LEVEL_MASK 0x%x\n", in main()
81 printf("#define\tPIC_NSEOI 0x%x\n", PIC_NSEOI); in main()
82 printf("#define\tPIC_SEOI_LVL7 0x%x\n", PIC_SEOI_LVL7); in main()
84 printf("#define\tNANOSEC 0x%x\n", NANOSEC); in main()
85 printf("#define\tADJ_SHIFT 0x%x\n", ADJ_SHIFT); in main()
87 printf("#define\tSSLEEP 0x%x\n", SSLEEP); in main()
88 printf("#define\tSRUN 0x%x\n", SRUN); in main()
89 printf("#define\tSONPROC 0x%x\n", SONPROC); in main()
91 printf("#define\tT_INTR_THREAD 0x%x\n", T_INTR_THREAD); in main()
92 printf("#define\tFREE_THREAD 0x%x\n", TS_FREE); in main()
93 printf("#define\tTS_FREE 0x%x\n", TS_FREE); in main()
94 printf("#define\tTS_ZOMB 0x%x\n", TS_ZOMB); in main()
95 printf("#define\tTP_MSACCT 0x%x\n", TP_MSACCT); in main()
96 printf("#define\tTP_WATCHPT 0x%x\n", TP_WATCHPT); in main()
97 printf("#define\tONPROC_THREAD 0x%x\n", TS_ONPROC); in main()
99 printf("#define\tS_READ 0x%x\n", (int)S_READ); in main()
100 printf("#define\tS_WRITE 0x%x\n", (int)S_WRITE); in main()
101 printf("#define\tS_EXEC 0x%x\n", (int)S_EXEC); in main()
102 printf("#define\tS_OTHER 0x%x\n", (int)S_OTHER); in main()
104 printf("#define\tNORMALRETURN 0x%x\n", (int)NORMALRETURN); in main()
105 printf("#define\tLWP_USER 0x%x\n", LWP_USER); in main()
106 printf("#define\tLWP_SYS 0x%x\n", LWP_SYS); in main()
107 printf("#define\tLMS_USER 0x%x\n", LMS_USER); in main()
108 printf("#define\tLMS_SYSTEM 0x%x\n", LMS_SYSTEM); in main()
110 printf("#define\tSSE_MXCSR_EFLAGS 0x%x\n", SSE_MXCSR_EFLAGS); in main()
112 printf("#define\tFP_487 0x%x\n", FP_487); in main()
113 printf("#define\tFP_486 0x%x\n", FP_486); in main()
114 printf("#define\tFPU_CW_INIT 0x%x\n", FPU_CW_INIT); in main()
115 printf("#define\tFPU_EN 0x%x\n", FPU_EN); in main()
116 printf("#define\tFPU_VALID 0x%x\n", FPU_VALID); in main()
118 printf("#define\tFP_NO 0x%x\n", FP_NO); in main()
119 printf("#define\tFP_SW 0x%x\n", FP_SW); in main()
120 printf("#define\tFP_HW 0x%x\n", FP_HW); in main()
121 printf("#define\tFP_287 0x%x\n", FP_287); in main()
122 printf("#define\tFP_387 0x%x\n", FP_387); in main()
123 printf("#define\t__FP_SSE 0x%x\n", __FP_SSE); in main()
125 printf("#define\tFP_FNSAVE 0x%x\n", FP_FNSAVE); in main()
126 printf("#define\tFP_FXSAVE 0x%x\n", FP_FXSAVE); in main()
127 printf("#define\tFP_XSAVE 0x%x\n", FP_XSAVE); in main()
129 printf("#define\tAV_INT_SPURIOUS 0x%x\n", AV_INT_SPURIOUS); in main()
131 printf("#define\tCPU_READY 0x%x\n", CPU_READY); in main()
132 printf("#define\tCPU_QUIESCED 0x%x\n", CPU_QUIESCED); in main()
134 printf("#define\tMCMD_PORT 0x%x\n", MCMD_PORT); in main()
135 printf("#define\tSCMD_PORT 0x%x\n", SCMD_PORT); in main()
136 printf("#define\tMIMR_PORT 0x%x\n", MIMR_PORT); in main()
137 printf("#define\tSIMR_PORT 0x%x\n", SIMR_PORT); in main()
139 printf("#define\tDMP_NOSYNC 0x%x\n", DMP_NOSYNC); in main()
141 printf("#define\tRW_WRITER\t0x%x\n", RW_WRITER); in main()
142 printf("#define\tRW_READER\t0x%x\n", RW_READER); in main()
144 printf("#define\tNSYSCALL 0x%x\n", NSYSCALL); in main()
146 printf("#define\tSE_32RVAL1 0x%x\n", SE_32RVAL1); in main()
147 printf("#define\tSE_32RVAL2 0x%x\n", SE_32RVAL2); in main()
148 printf("#define\tSE_64RVAL 0x%x\n", SE_64RVAL); in main()
150 printf("#define\tMAXSYSARGS 0x%x\n", MAXSYSARGS); in main()
153 printf("#define\tNSEC_PER_CLOCK_TICK 0x%x\n", NANOSEC / 100); in main()
155 printf("#define\tNSEC_PER_COUNTER_TICK 0x%x\n", NANOSEC / PIT_HZ); in main()
157 printf("#define\tPITCTR0_PORT 0x%x\n", PITCTR0_PORT); in main()
158 printf("#define\tPITCTL_PORT 0x%x\n", PITCTL_PORT); in main()
159 printf("#define\tPIT_COUNTDOWN 0x%x\n", in main()
162 printf("#define\tNBPW 0x%x\n", NBPW); in main()
164 printf("#define\tDDI_ACCATTR_IO_SPACE 0x%x\n", DDI_ACCATTR_IO_SPACE); in main()
165 printf("#define\tDDI_ACCATTR_DIRECT 0x%x\n", DDI_ACCATTR_DIRECT); in main()
166 printf("#define\tDDI_ACCATTR_CPU_VADDR 0x%x\n", DDI_ACCATTR_CPU_VADDR); in main()
167 printf("#define\tDDI_DEV_AUTOINCR 0x%x\n", DDI_DEV_AUTOINCR); in main()
169 printf("#define\tMMU_STD_PAGESIZE 0x%x\n", (uint_t)MMU_STD_PAGESIZE); in main()
170 printf("#define\tMMU_STD_PAGEMASK 0x%x\n", (uint_t)MMU_STD_PAGEMASK); in main()
171 printf("#define\tFOUR_MEG 0x%x\n", (uint_t)FOUR_MEG); in main()
173 printf("#define\tTRAPTR_NENT 0x%x\n", TRAPTR_NENT); in main()
175 printf("#define\tCPU_DTRACE_NOFAULT 0x%x\n", CPU_DTRACE_NOFAULT); in main()
176 printf("#define\tCPU_DTRACE_BADADDR 0x%x\n", CPU_DTRACE_BADADDR); in main()
177 printf("#define\tCPU_DTRACE_ILLOP 0x%x\n", CPU_DTRACE_ILLOP); in main()
179 printf("#define\tMODS_NOUNLOAD 0x%x\n", MODS_NOUNLOAD); in main()
180 printf("#define\tMODS_WEAK 0x%x\n", MODS_WEAK); in main()
181 printf("#define\tMODS_INSTALLED 0x%x\n", MODS_INSTALLED); in main()
183 printf("#define\tKPREEMPT_SYNC 0x%x\n", KPREEMPT_SYNC); in main()
186 printf("#define\tSHUTDOWN_reboot 0x%x\n", SHUTDOWN_reboot); in main()
187 printf("#define\tSCHEDOP_block 0x%x\n", SCHEDOP_block); in main()
188 printf("#define\tVGCF_IN_KERNEL 0x%x\n", VGCF_IN_KERNEL); in main()