| 86 | /* -------------------------------------------------------------------------- */ |
| 87 | |
| 88 | static void |
| 89 | kcsan_enable(void *dummy __unused) |
| 90 | { |
| 91 | |
| 92 | printf("Enabling KCSCAN, expect reduced performance.\n"); |
| 93 | kcsan_enabled = true; |
| 94 | } |
| 95 | SYSINIT(kcsan_enable, SI_SUB_SMP, SI_ORDER_SECOND, kcsan_enable, NULL); |
| 96 | |
| 97 | void |