xnu-7195.101.1.tar.gz

[apple/xnu.git] / bsd / dev / i386 / sysctl.c

diff --git a/bsd/dev/i386/sysctl.c b/bsd/dev/i386/sysctl.c
index 588f53d58596e89b2d198ad391906abb57ec21c7..e3c16031246a684dd62bc165e0582dda3988e8a1 100644 (file)
--- a/bsd/dev/i386/sysctl.c
+++ b/bsd/dev/i386/sysctl.c
@@ -1,8 +1,8 @@
 /*
 /*

- * Copyright (c) 2003-2011 Apple Inc. All rights reserved.
+ * Copyright (c) 2003-2020 Apple Inc. All rights reserved.

  *
  * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
  *
  * @APPLE_OSREFERENCE_LICENSE_HEADER_START@

- * 
+ *

  * This file contains Original Code and/or Modifications of Original Code
  * as defined in and that are subject to the Apple Public Source License
  * Version 2.0 (the 'License'). You may not use this file except in
  * This file contains Original Code and/or Modifications of Original Code
  * as defined in and that are subject to the Apple Public Source License
  * Version 2.0 (the 'License'). You may not use this file except in


@@ -11,10 +11,10 @@
  * unlawful or unlicensed copies of an Apple operating system, or to
  * circumvent, violate, or enable the circumvention or violation of, any
  * terms of an Apple operating system software license agreement.
  * unlawful or unlicensed copies of an Apple operating system, or to
  * circumvent, violate, or enable the circumvention or violation of, any
  * terms of an Apple operating system software license agreement.

- * 
+ *

  * Please obtain a copy of the License at
  * http://www.opensource.apple.com/apsl/ and read it before using this file.
  * Please obtain a copy of the License at
  * http://www.opensource.apple.com/apsl/ and read it before using this file.

- * 
+ *

  * The Original Code and all software distributed under the License are
  * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
  * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
  * The Original Code and all software distributed under the License are
  * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
  * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,


@@ -22,7 +22,7 @@
  * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
  * Please see the License for the specific language governing rights and
  * limitations under the License.
  * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
  * Please see the License for the specific language governing rights and
  * limitations under the License.

- * 
+ *

  * @APPLE_OSREFERENCE_LICENSE_HEADER_END@
  */
 
  * @APPLE_OSREFERENCE_LICENSE_HEADER_END@
  */
 


@@ -40,135 +40,152 @@
 #include <libkern/libkern.h>
 #include <i386/lapic.h>
 #include <i386/mp.h>
 #include <libkern/libkern.h>
 #include <i386/lapic.h>
 #include <i386/mp.h>

+#include <kern/kalloc.h>
+
+#if DEBUG || DEVELOPMENT
+#include <kern/hvg_hypercall.h>
+#endif

 
 
 static int
 _i386_cpu_info SYSCTL_HANDLER_ARGS
 {
 
 
 static int
 _i386_cpu_info SYSCTL_HANDLER_ARGS
 {

-    __unused struct sysctl_oid *unused_oidp = oidp;
-    void *ptr = arg1;
-    int value;
-
-    if (arg2 == -1) {
-        ptr = *(void **)ptr;
-        arg2 = 0;
-    }
-
-    if (arg2 == 0 && ((char *)ptr)[0] == '\0') {
-        return ENOENT;
-    }
-
-    if (arg2 == sizeof(uint8_t)) {
-       value = (uint32_t) *(uint8_t *)ptr;
-       ptr = &value;
-       arg2 = sizeof(uint32_t);
-    }
-    return SYSCTL_OUT(req, ptr, arg2 ? (size_t) arg2 : strlen((char *)ptr)+1);
+       __unused struct sysctl_oid *unused_oidp = oidp;
+       void *ptr = arg1;
+       int value;
+
+       if (arg2 == -1) {
+               ptr = *(void **)ptr;
+               arg2 = 0;
+       }
+
+       if (arg2 == 0 && ((char *)ptr)[0] == '\0') {
+               return ENOENT;
+       }
+
+       if (arg2 == sizeof(uint8_t)) {
+               value = (uint32_t) *(uint8_t *)ptr;
+               ptr = &value;
+               arg2 = sizeof(uint32_t);
+       }
+       return SYSCTL_OUT(req, ptr, arg2 ? (size_t) arg2 : strlen((char *)ptr) + 1);

 }
 
 static int
 i386_cpu_info SYSCTL_HANDLER_ARGS
 {
 }
 
 static int
 i386_cpu_info SYSCTL_HANDLER_ARGS
 {

-    void *ptr = (uint8_t *)cpuid_info() + (uintptr_t)arg1;
-    return _i386_cpu_info(oidp, ptr, arg2, req);
+       void *ptr = (uint8_t *)cpuid_info() + (uintptr_t)arg1;
+       return _i386_cpu_info(oidp, ptr, arg2, req);

 }
 
 static int
 i386_cpu_info_nonzero SYSCTL_HANDLER_ARGS
 {
 }
 
 static int
 i386_cpu_info_nonzero SYSCTL_HANDLER_ARGS
 {

-    void *ptr = (uint8_t *)cpuid_info() + (uintptr_t)arg1;
-    int value = *(uint32_t *)ptr;
+       void *ptr = (uint8_t *)cpuid_info() + (uintptr_t)arg1;
+       int value = *(uint32_t *)ptr;

 
 

-    if (value == 0)
-        return ENOENT;
+       if (value == 0) {
+               return ENOENT;
+       }

 
 

-    return _i386_cpu_info(oidp, ptr, arg2, req);
+       return _i386_cpu_info(oidp, ptr, arg2, req);

 }
 static int
 cpu_mwait SYSCTL_HANDLER_ARGS
 {
 }
 static int
 cpu_mwait SYSCTL_HANDLER_ARGS
 {

-    i386_cpu_info_t *cpu_info = cpuid_info();
-    void *ptr = (uint8_t *)cpu_info->cpuid_mwait_leafp + (uintptr_t)arg1;
-    if (cpu_info->cpuid_mwait_leafp == NULL)
-        return ENOENT;
-    return _i386_cpu_info(oidp, ptr, arg2, req);
+       i386_cpu_info_t *cpu_info = cpuid_info();
+       void *ptr = (uint8_t *)cpu_info->cpuid_mwait_leafp + (uintptr_t)arg1;
+       if (cpu_info->cpuid_mwait_leafp == NULL) {
+               return ENOENT;
+       }
+       return _i386_cpu_info(oidp, ptr, arg2, req);

 }
 
 static int
 cpu_thermal SYSCTL_HANDLER_ARGS
 {
 }
 
 static int
 cpu_thermal SYSCTL_HANDLER_ARGS
 {

-    i386_cpu_info_t *cpu_info = cpuid_info();
-    void *ptr = (uint8_t *)cpu_info->cpuid_thermal_leafp + (uintptr_t)arg1;
-    if (cpu_info->cpuid_thermal_leafp == NULL)
-        return ENOENT;
-    return _i386_cpu_info(oidp, ptr, arg2, req);
+       i386_cpu_info_t *cpu_info = cpuid_info();
+       void *ptr = (uint8_t *)cpu_info->cpuid_thermal_leafp + (uintptr_t)arg1;
+       if (cpu_info->cpuid_thermal_leafp == NULL) {
+               return ENOENT;
+       }
+       return _i386_cpu_info(oidp, ptr, arg2, req);

 }
 
 static int
 cpu_arch_perf SYSCTL_HANDLER_ARGS
 {
 }
 
 static int
 cpu_arch_perf SYSCTL_HANDLER_ARGS
 {

-    i386_cpu_info_t *cpu_info = cpuid_info();
-    void *ptr = (uint8_t *)cpu_info->cpuid_arch_perf_leafp + (uintptr_t)arg1;
-    if (cpu_info->cpuid_arch_perf_leafp == NULL)
-        return ENOENT;
-    return _i386_cpu_info(oidp, ptr, arg2, req);
+       i386_cpu_info_t *cpu_info = cpuid_info();
+       void *ptr = (uint8_t *)cpu_info->cpuid_arch_perf_leafp + (uintptr_t)arg1;
+       if (cpu_info->cpuid_arch_perf_leafp == NULL) {
+               return ENOENT;
+       }
+       return _i386_cpu_info(oidp, ptr, arg2, req);

 }
 
 static int
 cpu_xsave SYSCTL_HANDLER_ARGS
 {
 }
 
 static int
 cpu_xsave SYSCTL_HANDLER_ARGS
 {

-    i386_cpu_info_t *cpu_info = cpuid_info();
-    void *ptr = (uint8_t *)cpu_info->cpuid_xsave_leafp + (uintptr_t)arg1;
-    if (cpu_info->cpuid_xsave_leafp == NULL)
-        return ENOENT;
-    return _i386_cpu_info(oidp, ptr, arg2, req);
+       i386_cpu_info_t *cpu_info = cpuid_info();
+       void *ptr = (uint8_t *)cpu_info->cpuid_xsave_leafp + (uintptr_t)arg1;
+       if (cpu_info->cpuid_xsave_leafp == NULL) {
+               return ENOENT;
+       }
+       return _i386_cpu_info(oidp, ptr, arg2, req);

 }
 
 
 static int
 cpu_features SYSCTL_HANDLER_ARGS
 {
 }
 
 
 static int
 cpu_features SYSCTL_HANDLER_ARGS
 {

-    __unused struct sysctl_oid *unused_oidp = oidp;
-    __unused void *unused_arg1 = arg1;
-    __unused int unused_arg2 = arg2; 
-    char buf[512];
+       __unused struct sysctl_oid *unused_oidp = oidp;
+       __unused void *unused_arg1 = arg1;
+       __unused int unused_arg2 = arg2;
+       char buf[512];

 
 

-    buf[0] = '\0';
-    cpuid_get_feature_names(cpuid_features(), buf, sizeof(buf));
+       buf[0] = '\0';
+       cpuid_get_feature_names(cpuid_features(), buf, sizeof(buf));

 
 

-    return SYSCTL_OUT(req, buf, strlen(buf) + 1);
+       return SYSCTL_OUT(req, buf, strlen(buf) + 1);

 }
 
 static int
 cpu_extfeatures SYSCTL_HANDLER_ARGS
 {
 }
 
 static int
 cpu_extfeatures SYSCTL_HANDLER_ARGS
 {

-    __unused struct sysctl_oid *unused_oidp = oidp;
-    __unused void *unused_arg1 = arg1;
-    __unused int unused_arg2 = arg2; 
-    char buf[512];
+       __unused struct sysctl_oid *unused_oidp = oidp;
+       __unused void *unused_arg1 = arg1;
+       __unused int unused_arg2 = arg2;
+       char buf[512];

 
 

-    buf[0] = '\0';
-    cpuid_get_extfeature_names(cpuid_extfeatures(), buf, sizeof(buf));
+       buf[0] = '\0';
+       cpuid_get_extfeature_names(cpuid_extfeatures(), buf, sizeof(buf));

 
 

-    return SYSCTL_OUT(req, buf, strlen(buf) + 1);
+       return SYSCTL_OUT(req, buf, strlen(buf) + 1);

 }
 
 static int
 cpu_leaf7_features SYSCTL_HANDLER_ARGS
 {
 }
 
 static int
 cpu_leaf7_features SYSCTL_HANDLER_ARGS
 {

-    __unused struct sysctl_oid *unused_oidp = oidp;
-    __unused void *unused_arg1 = arg1;
-    __unused int unused_arg2 = arg2; 
-    char buf[512];
+       __unused struct sysctl_oid *unused_oidp = oidp;
+       __unused void *unused_arg1 = arg1;
+       __unused int unused_arg2 = arg2;
+       char buf[512];

 
 

-    uint32_t   leaf7_features = cpuid_info()->cpuid_leaf7_features;
-    if (leaf7_features == 0)
-        return ENOENT;
+       uint64_t    leaf7_features = cpuid_info()->cpuid_leaf7_features;
+       uint64_t    leaf7_extfeatures = cpuid_info()->cpuid_leaf7_extfeatures;
+       if (leaf7_features == 0 && leaf7_extfeatures == 0) {
+               return ENOENT;
+       }

 
 

-    buf[0] = '\0';
-    cpuid_get_leaf7_feature_names(leaf7_features, buf, sizeof(buf));
+       buf[0] = '\0';
+       cpuid_get_leaf7_feature_names(leaf7_features, buf, sizeof(buf));
+       if (leaf7_extfeatures != 0) {
+               strlcat(buf, " ", sizeof(buf));
+               cpuid_get_leaf7_extfeature_names(leaf7_extfeatures, buf + strlen(buf),
+                   (unsigned int)(sizeof(buf) - strlen(buf)));
+       }

 
 

-    return SYSCTL_OUT(req, buf, strlen(buf) + 1);
+       return SYSCTL_OUT(req, buf, strlen(buf) + 1);

 }
 
 static int
 }
 
 static int


@@ -179,11 +196,12 @@ cpu_logical_per_package SYSCTL_HANDLER_ARGS
        __unused int unused_arg2 = arg2;
        i386_cpu_info_t *cpu_info = cpuid_info();
 
        __unused int unused_arg2 = arg2;
        i386_cpu_info_t *cpu_info = cpuid_info();
 

-       if (!(cpuid_features() & CPUID_FEATURE_HTT))
+       if (!(cpuid_features() & CPUID_FEATURE_HTT)) {

                return ENOENT;
                return ENOENT;

+       }

 
        return SYSCTL_OUT(req, &cpu_info->cpuid_logical_per_package,
 
        return SYSCTL_OUT(req, &cpu_info->cpuid_logical_per_package,

-                         sizeof(cpu_info->cpuid_logical_per_package));
+                  sizeof(cpu_info->cpuid_logical_per_package));

 }
 
 static int
 }
 
 static int


@@ -194,8 +212,9 @@ cpu_flex_ratio_desired SYSCTL_HANDLER_ARGS
        __unused int unused_arg2 = arg2;
        i386_cpu_info_t *cpu_info = cpuid_info();
 
        __unused int unused_arg2 = arg2;
        i386_cpu_info_t *cpu_info = cpuid_info();
 

-       if (cpu_info->cpuid_model != 26)
+       if (cpu_info->cpuid_model != 26) {

                return ENOENT;
                return ENOENT;

+       }

 
        return SYSCTL_OUT(req, &flex_ratio, sizeof(flex_ratio));
 }
 
        return SYSCTL_OUT(req, &flex_ratio, sizeof(flex_ratio));
 }


@@ -208,8 +227,9 @@ cpu_flex_ratio_min SYSCTL_HANDLER_ARGS
        __unused int unused_arg2 = arg2;
        i386_cpu_info_t *cpu_info = cpuid_info();
 
        __unused int unused_arg2 = arg2;
        i386_cpu_info_t *cpu_info = cpuid_info();
 

-       if (cpu_info->cpuid_model != 26)
+       if (cpu_info->cpuid_model != 26) {

                return ENOENT;
                return ENOENT;

+       }

 
        return SYSCTL_OUT(req, &flex_ratio_min, sizeof(flex_ratio_min));
 }
 
        return SYSCTL_OUT(req, &flex_ratio_min, sizeof(flex_ratio_min));
 }


@@ -222,8 +242,9 @@ cpu_flex_ratio_max SYSCTL_HANDLER_ARGS
        __unused int unused_arg2 = arg2;
        i386_cpu_info_t *cpu_info = cpuid_info();
 
        __unused int unused_arg2 = arg2;
        i386_cpu_info_t *cpu_info = cpuid_info();
 

-       if (cpu_info->cpuid_model != 26)
+       if (cpu_info->cpuid_model != 26) {

                return ENOENT;
                return ENOENT;

+       }

 
        return SYSCTL_OUT(req, &flex_ratio_max, sizeof(flex_ratio_max));
 }
 
        return SYSCTL_OUT(req, &flex_ratio_max, sizeof(flex_ratio_max));
 }


@@ -231,18 +252,26 @@ cpu_flex_ratio_max SYSCTL_HANDLER_ARGS
 static int
 cpu_ucode_update SYSCTL_HANDLER_ARGS
 {
 static int
 cpu_ucode_update SYSCTL_HANDLER_ARGS
 {

-       __unused struct sysctl_oid *unused_oidp = oidp;
-       __unused void *unused_arg1 = arg1;
-       __unused int unused_arg2 = arg2;
+#pragma unused(oidp, arg1, arg2)

        uint64_t addr;
        int error;
        uint64_t addr;
        int error;

-       
+
+       /* Can't update microcode from within a VM. */
+
+       if (cpuid_features() & CPUID_FEATURE_VMM) {
+               return ENODEV;
+       }
+
+       if (req->newptr == USER_ADDR_NULL) {
+               return EINVAL;
+       }
+

        error = SYSCTL_IN(req, &addr, sizeof(addr));
        error = SYSCTL_IN(req, &addr, sizeof(addr));

-       if (error)
+       if (error) {

                return error;
                return error;

+       }

 
 

-       int ret = ucode_interface(addr);
-       return ret;
+       return ucode_interface(addr);

 }
 
 extern uint64_t panic_restart_timeout;
 }
 
 extern uint64_t panic_restart_timeout;


@@ -254,12 +283,16 @@ panic_set_restart_timeout(__unused struct sysctl_oid *oidp, __unused void *arg1,
 
        if (panic_restart_timeout) {
                absolutetime_to_nanoseconds(panic_restart_timeout, &nstime);
 
        if (panic_restart_timeout) {
                absolutetime_to_nanoseconds(panic_restart_timeout, &nstime);

-               old_value = nstime / NSEC_PER_SEC;
+               old_value = (int)MIN(nstime / NSEC_PER_SEC, INT_MAX);

        }
 
        }
 

-       error = sysctl_io_number(req, old_value, sizeof(int), &new_value, &changed);
+       error = sysctl_io_number(req, old_value, sizeof(old_value), &new_value, &changed);

        if (error == 0 && changed) {
        if (error == 0 && changed) {

-               nanoseconds_to_absolutetime(((uint64_t)new_value) * NSEC_PER_SEC, &panic_restart_timeout);
+               if (new_value >= 0) {
+                       nanoseconds_to_absolutetime(((uint64_t)new_value) * NSEC_PER_SEC, &panic_restart_timeout);
+               } else {
+                       error = EDOM;
+               }

        }
        return error;
 }
        }
        return error;
 }


@@ -287,6 +320,26 @@ misc_interrupt_latency_max(__unused struct sysctl_oid *oidp, __unused void *arg1
 }
 
 #if DEVELOPMENT || DEBUG
 }
 
 #if DEVELOPMENT || DEBUG

+/*
+ * Populates a string with each CPU's tsc synch delta.
+ */
+static int
+x86_cpu_tsc_deltas(__unused struct sysctl_oid *oidp, __unused void *arg1, __unused int arg2, struct sysctl_req *req)
+{
+       int err;
+       uint32_t ncpus = ml_wait_max_cpus();
+       uint32_t buflen = (2 /* hex digits */ * sizeof(uint64_t) + 3 /* for "0x" + " " */) * ncpus + 1;
+       char *buf = kalloc(buflen);
+
+       cpu_data_tsc_sync_deltas_string(buf, buflen, 0, ncpus - 1);
+
+       err = sysctl_io_string(req, buf, buflen, 0, 0);
+
+       kfree(buf, buflen);
+
+       return err;
+}
+

 /*
  * Triggers a machine-check exception - for a suitably configured kernel only.
  */
 /*
  * Triggers a machine-check exception - for a suitably configured kernel only.
  */


@@ -313,8 +366,8 @@ static uint64_t kernel_timeout_spin = 0;
 static int
 misc_kernel_timeout_spin(__unused struct sysctl_oid *oidp, __unused void *arg1, __unused int arg2, struct sysctl_req *req)
 {
 static int
 misc_kernel_timeout_spin(__unused struct sysctl_oid *oidp, __unused void *arg1, __unused int arg2, struct sysctl_req *req)
 {

-       uint64_t        old_value;
-       uint64_t        new_value;
+       uint64_t        old_value;
+       uint64_t        new_value;

        int changed = 0, error;
        char buf[128];
        buf[0] = '\0';
        int changed = 0, error;
        char buf[128];
        buf[0] = '\0';


@@ -331,415 +384,421 @@ misc_kernel_timeout_spin(__unused struct sysctl_oid *oidp, __unused void *arg1,
 #endif /* DEVELOPMENT || DEBUG */
 
 
 #endif /* DEVELOPMENT || DEBUG */
 
 

-SYSCTL_NODE(_machdep, OID_AUTO, cpu, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
-       "CPU info");
+SYSCTL_NODE(_machdep, OID_AUTO, cpu, CTLFLAG_RW | CTLFLAG_LOCKED, 0,
+    "CPU info");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, max_basic, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_max_basic),sizeof(uint32_t),
-           i386_cpu_info, "IU", "Max Basic Information value");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, max_basic, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_max_basic), sizeof(uint32_t),
+    i386_cpu_info, "IU", "Max Basic Information value");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, max_ext, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_max_ext), sizeof(uint32_t),
-           i386_cpu_info, "IU", "Max Extended Function Information value");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, max_ext, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_max_ext), sizeof(uint32_t),
+    i386_cpu_info, "IU", "Max Extended Function Information value");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, vendor, CTLTYPE_STRING | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_vendor), 0,
-           i386_cpu_info, "A", "CPU vendor");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, vendor, CTLTYPE_STRING | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_vendor), 0,
+    i386_cpu_info, "A", "CPU vendor");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, brand_string, CTLTYPE_STRING | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_brand_string), 0,
-           i386_cpu_info, "A", "CPU brand string");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, brand_string, CTLTYPE_STRING | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_brand_string), 0,
+    i386_cpu_info, "A", "CPU brand string");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, family, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_family), sizeof(uint8_t),
-           i386_cpu_info, "I", "CPU family");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, family, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_family), sizeof(uint8_t),
+    i386_cpu_info, "I", "CPU family");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, model, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_model), sizeof(uint8_t),
-           i386_cpu_info, "I", "CPU model");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, model, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_model), sizeof(uint8_t),
+    i386_cpu_info, "I", "CPU model");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, extmodel, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_extmodel), sizeof(uint8_t),
-           i386_cpu_info, "I", "CPU extended model");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, extmodel, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_extmodel), sizeof(uint8_t),
+    i386_cpu_info, "I", "CPU extended model");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, extfamily, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_extfamily), sizeof(uint8_t),
-           i386_cpu_info, "I", "CPU extended family");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, extfamily, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_extfamily), sizeof(uint8_t),
+    i386_cpu_info, "I", "CPU extended family");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, stepping, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_stepping), sizeof(uint8_t),
-           i386_cpu_info, "I", "CPU stepping");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, stepping, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_stepping), sizeof(uint8_t),
+    i386_cpu_info, "I", "CPU stepping");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, feature_bits, CTLTYPE_QUAD | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_features), sizeof(uint64_t),
-           i386_cpu_info, "IU", "CPU features");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, feature_bits, CTLTYPE_QUAD | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_features), sizeof(uint64_t),
+    i386_cpu_info, "IU", "CPU features");

 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, leaf7_feature_bits,
 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, leaf7_feature_bits,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_leaf7_features),
-           sizeof(uint32_t),
-           i386_cpu_info_nonzero, "IU", "CPU Leaf7 features");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_leaf7_features),
+    sizeof(uint64_t),
+    i386_cpu_info_nonzero, "IU", "CPU Leaf7 features [EBX ECX]");
+
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, leaf7_feature_bits_edx,
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_leaf7_extfeatures),
+    sizeof(uint32_t),
+    i386_cpu_info_nonzero, "IU", "CPU Leaf7 features [EDX]");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, extfeature_bits, CTLTYPE_QUAD | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_extfeatures), sizeof(uint64_t),
-           i386_cpu_info, "IU", "CPU extended features");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, extfeature_bits, CTLTYPE_QUAD | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_extfeatures), sizeof(uint64_t),
+    i386_cpu_info, "IU", "CPU extended features");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, signature, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_signature), sizeof(uint32_t),
-           i386_cpu_info, "I", "CPU signature");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, signature, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_signature), sizeof(uint32_t),
+    i386_cpu_info, "I", "CPU signature");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, brand, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_brand), sizeof(uint8_t),
-           i386_cpu_info, "I", "CPU brand");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, brand, CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_brand), sizeof(uint8_t),
+    i386_cpu_info, "I", "CPU brand");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, features, CTLTYPE_STRING | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           0, 0,
-           cpu_features, "A", "CPU feature names");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, features, CTLTYPE_STRING | CTLFLAG_RD | CTLFLAG_LOCKED,
+    0, 0,
+    cpu_features, "A", "CPU feature names");

 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, leaf7_features,
 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, leaf7_features,

-           CTLTYPE_STRING | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           0, 0,
-           cpu_leaf7_features, "A", "CPU Leaf7 feature names");
+    CTLTYPE_STRING | CTLFLAG_RD | CTLFLAG_LOCKED,
+    0, 0,
+    cpu_leaf7_features, "A", "CPU Leaf7 feature names");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, extfeatures, CTLTYPE_STRING | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           0, 0,
-           cpu_extfeatures, "A", "CPU extended feature names");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, extfeatures, CTLTYPE_STRING | CTLFLAG_RD | CTLFLAG_LOCKED,
+    0, 0,
+    cpu_extfeatures, "A", "CPU extended feature names");

 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, logical_per_package,
 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, logical_per_package,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           0, 0,
-           cpu_logical_per_package, "I", "CPU logical cpus per package");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    0, 0,
+    cpu_logical_per_package, "I", "CPU logical cpus per package");

 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, cores_per_package,
 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, cores_per_package,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_cores_per_package),
-           sizeof(uint32_t),
-           i386_cpu_info, "I", "CPU cores per package");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_cores_per_package),
+    sizeof(uint32_t),
+    i386_cpu_info, "I", "CPU cores per package");

 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, microcode_version,
 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, microcode_version,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_microcode_version),
-           sizeof(uint32_t),
-           i386_cpu_info, "I", "Microcode version number");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_microcode_version),
+    sizeof(uint32_t),
+    i386_cpu_info, "I", "Microcode version number");

 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, processor_flag,
 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, processor_flag,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_processor_flag),
-           sizeof(uint32_t),
-           i386_cpu_info, "I", "CPU processor flag");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_processor_flag),
+    sizeof(uint32_t),
+    i386_cpu_info, "I", "CPU processor flag");

 
 
 
 

-SYSCTL_NODE(_machdep_cpu, OID_AUTO, mwait, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
-       "mwait");
+SYSCTL_NODE(_machdep_cpu, OID_AUTO, mwait, CTLFLAG_RW | CTLFLAG_LOCKED, 0,
+    "mwait");

 
 SYSCTL_PROC(_machdep_cpu_mwait, OID_AUTO, linesize_min,
 
 SYSCTL_PROC(_machdep_cpu_mwait, OID_AUTO, linesize_min,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_mwait_leaf_t, linesize_min),
-           sizeof(uint32_t),
-           cpu_mwait, "I", "Monitor/mwait minimum line size");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_mwait_leaf_t, linesize_min),
+    sizeof(uint32_t),
+    cpu_mwait, "I", "Monitor/mwait minimum line size");

 
 SYSCTL_PROC(_machdep_cpu_mwait, OID_AUTO, linesize_max,
 
 SYSCTL_PROC(_machdep_cpu_mwait, OID_AUTO, linesize_max,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_mwait_leaf_t, linesize_max),
-           sizeof(uint32_t),
-           cpu_mwait, "I", "Monitor/mwait maximum line size");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_mwait_leaf_t, linesize_max),
+    sizeof(uint32_t),
+    cpu_mwait, "I", "Monitor/mwait maximum line size");

 
 SYSCTL_PROC(_machdep_cpu_mwait, OID_AUTO, extensions,
 
 SYSCTL_PROC(_machdep_cpu_mwait, OID_AUTO, extensions,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_mwait_leaf_t, extensions),
-           sizeof(uint32_t),
-           cpu_mwait, "I", "Monitor/mwait extensions");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_mwait_leaf_t, extensions),
+    sizeof(uint32_t),
+    cpu_mwait, "I", "Monitor/mwait extensions");

 
 SYSCTL_PROC(_machdep_cpu_mwait, OID_AUTO, sub_Cstates,
 
 SYSCTL_PROC(_machdep_cpu_mwait, OID_AUTO, sub_Cstates,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_mwait_leaf_t, sub_Cstates),
-           sizeof(uint32_t),
-           cpu_mwait, "I", "Monitor/mwait sub C-states");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_mwait_leaf_t, sub_Cstates),
+    sizeof(uint32_t),
+    cpu_mwait, "I", "Monitor/mwait sub C-states");

 
 
 
 

-SYSCTL_NODE(_machdep_cpu, OID_AUTO, thermal, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
-       "thermal");
+SYSCTL_NODE(_machdep_cpu, OID_AUTO, thermal, CTLFLAG_RW | CTLFLAG_LOCKED, 0,
+    "thermal");

 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, sensor,
 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, sensor,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_thermal_leaf_t, sensor),
-           sizeof(boolean_t),
-           cpu_thermal, "I", "Thermal sensor present");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_thermal_leaf_t, sensor),
+    sizeof(boolean_t),
+    cpu_thermal, "I", "Thermal sensor present");

 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, dynamic_acceleration,
 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, dynamic_acceleration,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_thermal_leaf_t, dynamic_acceleration),
-           sizeof(boolean_t),
-           cpu_thermal, "I", "Dynamic Acceleration Technology (Turbo Mode)");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_thermal_leaf_t, dynamic_acceleration),
+    sizeof(boolean_t),
+    cpu_thermal, "I", "Dynamic Acceleration Technology (Turbo Mode)");

 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, invariant_APIC_timer,
 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, invariant_APIC_timer,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_thermal_leaf_t, invariant_APIC_timer),
-           sizeof(boolean_t),
-           cpu_thermal, "I", "Invariant APIC Timer");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_thermal_leaf_t, invariant_APIC_timer),
+    sizeof(boolean_t),
+    cpu_thermal, "I", "Invariant APIC Timer");

 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, thresholds,
 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, thresholds,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_thermal_leaf_t, thresholds),
-           sizeof(uint32_t),
-           cpu_thermal, "I", "Number of interrupt thresholds");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_thermal_leaf_t, thresholds),
+    sizeof(uint32_t),
+    cpu_thermal, "I", "Number of interrupt thresholds");

 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, ACNT_MCNT,
 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, ACNT_MCNT,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_thermal_leaf_t, ACNT_MCNT),
-           sizeof(boolean_t),
-           cpu_thermal, "I", "ACNT_MCNT capability");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_thermal_leaf_t, ACNT_MCNT),
+    sizeof(boolean_t),
+    cpu_thermal, "I", "ACNT_MCNT capability");

 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, core_power_limits,
 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, core_power_limits,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_thermal_leaf_t, core_power_limits),
-           sizeof(boolean_t),
-           cpu_thermal, "I", "Power Limit Notifications at a Core Level");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_thermal_leaf_t, core_power_limits),
+    sizeof(boolean_t),
+    cpu_thermal, "I", "Power Limit Notifications at a Core Level");

 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, fine_grain_clock_mod,
 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, fine_grain_clock_mod,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_thermal_leaf_t, fine_grain_clock_mod),
-           sizeof(boolean_t),
-           cpu_thermal, "I", "Fine Grain Clock Modulation");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_thermal_leaf_t, fine_grain_clock_mod),
+    sizeof(boolean_t),
+    cpu_thermal, "I", "Fine Grain Clock Modulation");

 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, package_thermal_intr,
 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, package_thermal_intr,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_thermal_leaf_t, package_thermal_intr),
-           sizeof(boolean_t),
-           cpu_thermal, "I", "Package Thermal interrupt and Status");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_thermal_leaf_t, package_thermal_intr),
+    sizeof(boolean_t),
+    cpu_thermal, "I", "Package Thermal interrupt and Status");

 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, hardware_feedback,
 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, hardware_feedback,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_thermal_leaf_t, hardware_feedback),
-           sizeof(boolean_t),
-           cpu_thermal, "I", "Hardware Coordination Feedback");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_thermal_leaf_t, hardware_feedback),
+    sizeof(boolean_t),
+    cpu_thermal, "I", "Hardware Coordination Feedback");

 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, energy_policy,
 
 SYSCTL_PROC(_machdep_cpu_thermal, OID_AUTO, energy_policy,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_thermal_leaf_t, energy_policy),
-           sizeof(boolean_t),
-           cpu_thermal, "I", "Energy Efficient Policy Support");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_thermal_leaf_t, energy_policy),
+    sizeof(boolean_t),
+    cpu_thermal, "I", "Energy Efficient Policy Support");

 
 

-SYSCTL_NODE(_machdep_cpu, OID_AUTO, xsave, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
-       "xsave");
+SYSCTL_NODE(_machdep_cpu, OID_AUTO, xsave, CTLFLAG_RW | CTLFLAG_LOCKED, 0,
+    "xsave");

 
 SYSCTL_PROC(_machdep_cpu_xsave, OID_AUTO, extended_state,
 
 SYSCTL_PROC(_machdep_cpu_xsave, OID_AUTO, extended_state,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *) 0,
-           sizeof(cpuid_xsave_leaf_t),
-           cpu_xsave, "IU", "XSAVE Extended State Main Leaf");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *) 0,
+    sizeof(cpuid_xsave_leaf_t),
+    cpu_xsave, "IU", "XSAVE Extended State Main Leaf");

 
 SYSCTL_PROC(_machdep_cpu_xsave, OID_AUTO, extended_state1,
 
 SYSCTL_PROC(_machdep_cpu_xsave, OID_AUTO, extended_state1,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *) sizeof(cpuid_xsave_leaf_t),
-           sizeof(cpuid_xsave_leaf_t),
-           cpu_xsave, "IU", "XSAVE Extended State Sub-leaf 1");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *) sizeof(cpuid_xsave_leaf_t),
+    sizeof(cpuid_xsave_leaf_t),
+    cpu_xsave, "IU", "XSAVE Extended State Sub-leaf 1");

 
 
 
 

-SYSCTL_NODE(_machdep_cpu, OID_AUTO, arch_perf, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
-       "arch_perf");
+SYSCTL_NODE(_machdep_cpu, OID_AUTO, arch_perf, CTLFLAG_RW | CTLFLAG_LOCKED, 0,
+    "arch_perf");

 
 SYSCTL_PROC(_machdep_cpu_arch_perf, OID_AUTO, version,
 
 SYSCTL_PROC(_machdep_cpu_arch_perf, OID_AUTO, version,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_arch_perf_leaf_t, version),
-           sizeof(uint8_t),
-           cpu_arch_perf, "I", "Architectural Performance Version Number");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_arch_perf_leaf_t, version),
+    sizeof(uint8_t),
+    cpu_arch_perf, "I", "Architectural Performance Version Number");

 
 SYSCTL_PROC(_machdep_cpu_arch_perf, OID_AUTO, number,
 
 SYSCTL_PROC(_machdep_cpu_arch_perf, OID_AUTO, number,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_arch_perf_leaf_t, number),
-           sizeof(uint8_t),
-           cpu_arch_perf, "I", "Number of counters per logical cpu");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_arch_perf_leaf_t, number),
+    sizeof(uint8_t),
+    cpu_arch_perf, "I", "Number of counters per logical cpu");

 
 SYSCTL_PROC(_machdep_cpu_arch_perf, OID_AUTO, width,
 
 SYSCTL_PROC(_machdep_cpu_arch_perf, OID_AUTO, width,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_arch_perf_leaf_t, width),
-           sizeof(uint8_t),
-           cpu_arch_perf, "I", "Bit width of counters");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_arch_perf_leaf_t, width),
+    sizeof(uint8_t),
+    cpu_arch_perf, "I", "Bit width of counters");

 
 SYSCTL_PROC(_machdep_cpu_arch_perf, OID_AUTO, events_number,
 
 SYSCTL_PROC(_machdep_cpu_arch_perf, OID_AUTO, events_number,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_arch_perf_leaf_t, events_number),
-           sizeof(uint8_t),
-           cpu_arch_perf, "I", "Number of monitoring events");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_arch_perf_leaf_t, events_number),
+    sizeof(uint8_t),
+    cpu_arch_perf, "I", "Number of monitoring events");

 
 SYSCTL_PROC(_machdep_cpu_arch_perf, OID_AUTO, events,
 
 SYSCTL_PROC(_machdep_cpu_arch_perf, OID_AUTO, events,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_arch_perf_leaf_t, events),
-           sizeof(uint32_t),
-           cpu_arch_perf, "I", "Bit vector of events");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_arch_perf_leaf_t, events),
+    sizeof(uint32_t),
+    cpu_arch_perf, "I", "Bit vector of events");

 
 SYSCTL_PROC(_machdep_cpu_arch_perf, OID_AUTO, fixed_number,
 
 SYSCTL_PROC(_machdep_cpu_arch_perf, OID_AUTO, fixed_number,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_arch_perf_leaf_t, fixed_number),
-           sizeof(uint8_t),
-           cpu_arch_perf, "I", "Number of fixed-function counters");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_arch_perf_leaf_t, fixed_number),
+    sizeof(uint8_t),
+    cpu_arch_perf, "I", "Number of fixed-function counters");

 
 SYSCTL_PROC(_machdep_cpu_arch_perf, OID_AUTO, fixed_width,
 
 SYSCTL_PROC(_machdep_cpu_arch_perf, OID_AUTO, fixed_width,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(cpuid_arch_perf_leaf_t, fixed_width),
-           sizeof(uint8_t),
-           cpu_arch_perf, "I", "Bit-width of fixed-function counters");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(cpuid_arch_perf_leaf_t, fixed_width),
+    sizeof(uint8_t),
+    cpu_arch_perf, "I", "Bit-width of fixed-function counters");

 
 
 
 

-SYSCTL_NODE(_machdep_cpu, OID_AUTO, cache, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
-       "cache");
+SYSCTL_NODE(_machdep_cpu, OID_AUTO, cache, CTLFLAG_RW | CTLFLAG_LOCKED, 0,
+    "cache");

 
 SYSCTL_PROC(_machdep_cpu_cache, OID_AUTO, linesize,
 
 SYSCTL_PROC(_machdep_cpu_cache, OID_AUTO, linesize,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_cache_linesize),
-           sizeof(uint32_t),
-           i386_cpu_info, "I", "Cacheline size");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_cache_linesize),
+    sizeof(uint32_t),
+    i386_cpu_info, "I", "Cacheline size");

 
 SYSCTL_PROC(_machdep_cpu_cache, OID_AUTO, L2_associativity,
 
 SYSCTL_PROC(_machdep_cpu_cache, OID_AUTO, L2_associativity,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_cache_L2_associativity),
-           sizeof(uint32_t),
-           i386_cpu_info, "I", "L2 cache associativity");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_cache_L2_associativity),
+    sizeof(uint32_t),
+    i386_cpu_info, "I", "L2 cache associativity");

 
 SYSCTL_PROC(_machdep_cpu_cache, OID_AUTO, size,
 
 SYSCTL_PROC(_machdep_cpu_cache, OID_AUTO, size,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_cache_size),
-           sizeof(uint32_t),
-           i386_cpu_info, "I", "Cache size (in Kbytes)");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_cache_size),
+    sizeof(uint32_t),
+    i386_cpu_info, "I", "Cache size (in Kbytes)");

 
 
 
 

-SYSCTL_NODE(_machdep_cpu, OID_AUTO, tlb, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
-       "tlb");
-SYSCTL_NODE(_machdep_cpu_tlb, OID_AUTO, inst, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
-       "inst");
-SYSCTL_NODE(_machdep_cpu_tlb, OID_AUTO, data, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
-       "data");
+SYSCTL_NODE(_machdep_cpu, OID_AUTO, tlb, CTLFLAG_RW | CTLFLAG_LOCKED, 0,
+    "tlb");
+SYSCTL_NODE(_machdep_cpu_tlb, OID_AUTO, inst, CTLFLAG_RW | CTLFLAG_LOCKED, 0,
+    "inst");
+SYSCTL_NODE(_machdep_cpu_tlb, OID_AUTO, data, CTLFLAG_RW | CTLFLAG_LOCKED, 0,
+    "data");

 
 SYSCTL_PROC(_machdep_cpu_tlb_inst, OID_AUTO, small,
 
 SYSCTL_PROC(_machdep_cpu_tlb_inst, OID_AUTO, small,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t,
-                            cpuid_tlb[TLB_INST][TLB_SMALL][0]),
-           sizeof(uint32_t),
-           i386_cpu_info_nonzero, "I",
-           "Number of small page instruction TLBs");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t,
+    cpuid_tlb[TLB_INST][TLB_SMALL][0]),
+    sizeof(uint32_t),
+    i386_cpu_info_nonzero, "I",
+    "Number of small page instruction TLBs");

 
 SYSCTL_PROC(_machdep_cpu_tlb_data, OID_AUTO, small,
 
 SYSCTL_PROC(_machdep_cpu_tlb_data, OID_AUTO, small,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t,
-                            cpuid_tlb[TLB_DATA][TLB_SMALL][0]),
-           sizeof(uint32_t),
-           i386_cpu_info_nonzero, "I",
-           "Number of small page data TLBs (1st level)");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t,
+    cpuid_tlb[TLB_DATA][TLB_SMALL][0]),
+    sizeof(uint32_t),
+    i386_cpu_info_nonzero, "I",
+    "Number of small page data TLBs (1st level)");

 
 SYSCTL_PROC(_machdep_cpu_tlb_data, OID_AUTO, small_level1,
 
 SYSCTL_PROC(_machdep_cpu_tlb_data, OID_AUTO, small_level1,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t,
-                            cpuid_tlb[TLB_DATA][TLB_SMALL][1]),
-           sizeof(uint32_t),
-           i386_cpu_info_nonzero, "I",
-           "Number of small page data TLBs (2nd level)");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t,
+    cpuid_tlb[TLB_DATA][TLB_SMALL][1]),
+    sizeof(uint32_t),
+    i386_cpu_info_nonzero, "I",
+    "Number of small page data TLBs (2nd level)");

 
 SYSCTL_PROC(_machdep_cpu_tlb_inst, OID_AUTO, large,
 
 SYSCTL_PROC(_machdep_cpu_tlb_inst, OID_AUTO, large,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t,
-                            cpuid_tlb[TLB_INST][TLB_LARGE][0]),
-           sizeof(uint32_t),
-           i386_cpu_info_nonzero, "I",
-           "Number of large page instruction TLBs");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t,
+    cpuid_tlb[TLB_INST][TLB_LARGE][0]),
+    sizeof(uint32_t),
+    i386_cpu_info_nonzero, "I",
+    "Number of large page instruction TLBs");

 
 SYSCTL_PROC(_machdep_cpu_tlb_data, OID_AUTO, large,
 
 SYSCTL_PROC(_machdep_cpu_tlb_data, OID_AUTO, large,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t,
-                            cpuid_tlb[TLB_DATA][TLB_LARGE][0]),
-           sizeof(uint32_t),
-           i386_cpu_info_nonzero, "I",
-           "Number of large page data TLBs (1st level)");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t,
+    cpuid_tlb[TLB_DATA][TLB_LARGE][0]),
+    sizeof(uint32_t),
+    i386_cpu_info_nonzero, "I",
+    "Number of large page data TLBs (1st level)");

 
 SYSCTL_PROC(_machdep_cpu_tlb_data, OID_AUTO, large_level1,
 
 SYSCTL_PROC(_machdep_cpu_tlb_data, OID_AUTO, large_level1,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t,
-                            cpuid_tlb[TLB_DATA][TLB_LARGE][1]),
-           sizeof(uint32_t),
-           i386_cpu_info_nonzero, "I",
-           "Number of large page data TLBs (2nd level)");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t,
+    cpuid_tlb[TLB_DATA][TLB_LARGE][1]),
+    sizeof(uint32_t),
+    i386_cpu_info_nonzero, "I",
+    "Number of large page data TLBs (2nd level)");

 
 SYSCTL_PROC(_machdep_cpu_tlb, OID_AUTO, shared,
 
 SYSCTL_PROC(_machdep_cpu_tlb, OID_AUTO, shared,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_stlb),
-           sizeof(uint32_t),
-           i386_cpu_info_nonzero, "I",
-           "Number of shared TLBs");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_stlb),
+    sizeof(uint32_t),
+    i386_cpu_info_nonzero, "I",
+    "Number of shared TLBs");

 
 
 
 

-SYSCTL_NODE(_machdep_cpu, OID_AUTO, address_bits, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
-       "address_bits");
+SYSCTL_NODE(_machdep_cpu, OID_AUTO, address_bits, CTLFLAG_RW | CTLFLAG_LOCKED, 0,
+    "address_bits");

 
 SYSCTL_PROC(_machdep_cpu_address_bits, OID_AUTO, physical,
 
 SYSCTL_PROC(_machdep_cpu_address_bits, OID_AUTO, physical,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_address_bits_physical),
-           sizeof(uint32_t),
-           i386_cpu_info, "I", "Number of physical address bits");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_address_bits_physical),
+    sizeof(uint32_t),
+    i386_cpu_info, "I", "Number of physical address bits");

 
 SYSCTL_PROC(_machdep_cpu_address_bits, OID_AUTO, virtual,
 
 SYSCTL_PROC(_machdep_cpu_address_bits, OID_AUTO, virtual,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_address_bits_virtual),
-           sizeof(uint32_t),
-           i386_cpu_info, "I", "Number of virtual address bits");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_address_bits_virtual),
+    sizeof(uint32_t),
+    i386_cpu_info, "I", "Number of virtual address bits");

 
 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, core_count,
 
 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, core_count,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, core_count),
-           sizeof(uint32_t),
-           i386_cpu_info, "I", "Number of enabled cores per package");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, core_count),
+    sizeof(uint32_t),
+    i386_cpu_info, "I", "Number of enabled cores per package");

 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, thread_count,
 
 SYSCTL_PROC(_machdep_cpu, OID_AUTO, thread_count,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, thread_count),
-           sizeof(uint32_t),
-           i386_cpu_info, "I", "Number of enabled threads per package");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, thread_count),
+    sizeof(uint32_t),
+    i386_cpu_info, "I", "Number of enabled threads per package");

 
 

-SYSCTL_NODE(_machdep_cpu, OID_AUTO, flex_ratio, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
-       "Flex ratio");
+SYSCTL_NODE(_machdep_cpu, OID_AUTO, flex_ratio, CTLFLAG_RW | CTLFLAG_LOCKED, 0,
+    "Flex ratio");

 
 SYSCTL_PROC(_machdep_cpu_flex_ratio, OID_AUTO, desired,
 
 SYSCTL_PROC(_machdep_cpu_flex_ratio, OID_AUTO, desired,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           0, 0,
-           cpu_flex_ratio_desired, "I", "Flex ratio desired (0 disabled)");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    0, 0,
+    cpu_flex_ratio_desired, "I", "Flex ratio desired (0 disabled)");

 
 SYSCTL_PROC(_machdep_cpu_flex_ratio, OID_AUTO, min,
 
 SYSCTL_PROC(_machdep_cpu_flex_ratio, OID_AUTO, min,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           0, 0,
-           cpu_flex_ratio_min, "I", "Flex ratio min (efficiency)");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    0, 0,
+    cpu_flex_ratio_min, "I", "Flex ratio min (efficiency)");

 
 SYSCTL_PROC(_machdep_cpu_flex_ratio, OID_AUTO, max,
 
 SYSCTL_PROC(_machdep_cpu_flex_ratio, OID_AUTO, max,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           0, 0,
-           cpu_flex_ratio_max, "I", "Flex ratio max (non-turbo)");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    0, 0,
+    cpu_flex_ratio_max, "I", "Flex ratio max (non-turbo)");

 
 

-SYSCTL_PROC(_machdep_cpu, OID_AUTO, ucupdate, 
-           CTLTYPE_INT | CTLFLAG_WR | CTLFLAG_LOCKED, 0, 0,
-            cpu_ucode_update, "S", "Microcode update interface");
+SYSCTL_PROC(_machdep_cpu, OID_AUTO, ucupdate,
+    CTLTYPE_INT | CTLFLAG_WR | CTLFLAG_LOCKED, 0, 0,
+    cpu_ucode_update, "S", "Microcode update interface");

 
 

-SYSCTL_NODE(_machdep_cpu, OID_AUTO, tsc_ccc, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
-       "TSC/CCC frequency information");
+SYSCTL_NODE(_machdep_cpu, OID_AUTO, tsc_ccc, CTLFLAG_RW | CTLFLAG_LOCKED, 0,
+    "TSC/CCC frequency information");

 
 SYSCTL_PROC(_machdep_cpu_tsc_ccc, OID_AUTO, numerator,
 
 SYSCTL_PROC(_machdep_cpu_tsc_ccc, OID_AUTO, numerator,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_tsc_leaf.numerator),
-           sizeof(uint32_t),
-           i386_cpu_info, "I", "Numerator of TSC/CCC ratio");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_tsc_leaf.numerator),
+    sizeof(uint32_t),
+    i386_cpu_info, "I", "Numerator of TSC/CCC ratio");

 
 SYSCTL_PROC(_machdep_cpu_tsc_ccc, OID_AUTO, denominator,
 
 SYSCTL_PROC(_machdep_cpu_tsc_ccc, OID_AUTO, denominator,

-           CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED, 
-           (void *)offsetof(i386_cpu_info_t, cpuid_tsc_leaf.denominator),
-           sizeof(uint32_t),
-           i386_cpu_info, "I", "Denominator of TSC/CCC ratio");
+    CTLTYPE_INT | CTLFLAG_RD | CTLFLAG_LOCKED,
+    (void *)offsetof(i386_cpu_info_t, cpuid_tsc_leaf.denominator),
+    sizeof(uint32_t),
+    i386_cpu_info, "I", "Denominator of TSC/CCC ratio");

 
 static const uint32_t apic_timer_vector = (LAPIC_DEFAULT_INTERRUPT_BASE + LAPIC_TIMER_INTERRUPT);
 static const uint32_t apic_IPI_vector = (LAPIC_DEFAULT_INTERRUPT_BASE + LAPIC_INTERPROCESSOR_INTERRUPT);
 
 SYSCTL_NODE(_machdep, OID_AUTO, vectors, CTLFLAG_RD | CTLFLAG_LOCKED, 0,
 
 static const uint32_t apic_timer_vector = (LAPIC_DEFAULT_INTERRUPT_BASE + LAPIC_TIMER_INTERRUPT);
 static const uint32_t apic_IPI_vector = (LAPIC_DEFAULT_INTERRUPT_BASE + LAPIC_INTERPROCESSOR_INTERRUPT);
 
 SYSCTL_NODE(_machdep, OID_AUTO, vectors, CTLFLAG_RD | CTLFLAG_LOCKED, 0,

-       "Interrupt vector assignments");
+    "Interrupt vector assignments");

 
 

-SYSCTL_UINT     (_machdep_vectors, OID_AUTO, timer, CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, __DECONST(uint32_t *,&apic_timer_vector), 0, "");
-SYSCTL_UINT     (_machdep_vectors, OID_AUTO, IPI, CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, __DECONST(uint32_t *,&apic_IPI_vector), 0, "");
+SYSCTL_UINT(_machdep_vectors, OID_AUTO, timer, CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, __DECONST(uint32_t *, &apic_timer_vector), 0, "");
+SYSCTL_UINT(_machdep_vectors, OID_AUTO, IPI, CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, __DECONST(uint32_t *, &apic_IPI_vector), 0, "");

 
 uint64_t pmap_pv_hashlist_walks;
 uint64_t pmap_pv_hashlist_cnts;
 
 uint64_t pmap_pv_hashlist_walks;
 uint64_t pmap_pv_hashlist_cnts;


@@ -749,16 +808,16 @@ extern uint32_t pv_hashed_kern_low_water_mark;
 
 /*extern struct sysctl_oid_list sysctl__machdep_pmap_children;*/
 
 
 /*extern struct sysctl_oid_list sysctl__machdep_pmap_children;*/
 

-SYSCTL_NODE(_machdep, OID_AUTO, pmap, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
-       "PMAP info");
+SYSCTL_NODE(_machdep, OID_AUTO, pmap, CTLFLAG_RW | CTLFLAG_LOCKED, 0,
+    "PMAP info");

 
 

-SYSCTL_QUAD    (_machdep_pmap, OID_AUTO, hashwalks, CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, &pmap_pv_hashlist_walks, "");
-SYSCTL_QUAD    (_machdep_pmap, OID_AUTO, hashcnts, CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, &pmap_pv_hashlist_cnts, "");
-SYSCTL_INT     (_machdep_pmap, OID_AUTO, hashmax, CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, &pmap_pv_hashlist_max, 0, "");
-SYSCTL_INT     (_machdep_pmap, OID_AUTO, kernel_text_ps, CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, &pmap_kernel_text_ps, 0, "");
-SYSCTL_INT     (_machdep_pmap, OID_AUTO, kern_pv_reserve, CTLFLAG_RW | CTLFLAG_KERN | CTLFLAG_LOCKED, &pv_hashed_kern_low_water_mark, 0, "");
+SYSCTL_QUAD(_machdep_pmap, OID_AUTO, hashwalks, CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, &pmap_pv_hashlist_walks, "");
+SYSCTL_QUAD(_machdep_pmap, OID_AUTO, hashcnts, CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, &pmap_pv_hashlist_cnts, "");
+SYSCTL_INT(_machdep_pmap, OID_AUTO, hashmax, CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, &pmap_pv_hashlist_max, 0, "");
+SYSCTL_INT(_machdep_pmap, OID_AUTO, kernel_text_ps, CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, &pmap_kernel_text_ps, 0, "");
+SYSCTL_INT(_machdep_pmap, OID_AUTO, kern_pv_reserve, CTLFLAG_RW | CTLFLAG_KERN | CTLFLAG_LOCKED, &pv_hashed_kern_low_water_mark, 0, "");

 
 

-SYSCTL_NODE(_machdep, OID_AUTO, memmap, CTLFLAG_RD|CTLFLAG_LOCKED, NULL, "physical memory map");
+SYSCTL_NODE(_machdep, OID_AUTO, memmap, CTLFLAG_RD | CTLFLAG_LOCKED, NULL, "physical memory map");

 
 uint64_t firmware_Conventional_bytes = 0;
 uint64_t firmware_RuntimeServices_bytes = 0;
 
 uint64_t firmware_Conventional_bytes = 0;
 uint64_t firmware_RuntimeServices_bytes = 0;


@@ -769,86 +828,121 @@ uint64_t firmware_Reserved_bytes = 0;
 uint64_t firmware_Unusable_bytes = 0;
 uint64_t firmware_other_bytes = 0;
 
 uint64_t firmware_Unusable_bytes = 0;
 uint64_t firmware_other_bytes = 0;
 

-SYSCTL_QUAD(_machdep_memmap, OID_AUTO, Conventional, CTLFLAG_RD|CTLFLAG_LOCKED, &firmware_Conventional_bytes, "");
-SYSCTL_QUAD(_machdep_memmap, OID_AUTO, RuntimeServices, CTLFLAG_RD|CTLFLAG_LOCKED, &firmware_RuntimeServices_bytes, "");
-SYSCTL_QUAD(_machdep_memmap, OID_AUTO, ACPIReclaim, CTLFLAG_RD|CTLFLAG_LOCKED, &firmware_ACPIReclaim_bytes, "");
-SYSCTL_QUAD(_machdep_memmap, OID_AUTO, ACPINVS, CTLFLAG_RD|CTLFLAG_LOCKED, &firmware_ACPINVS_bytes, "");
-SYSCTL_QUAD(_machdep_memmap, OID_AUTO, PalCode, CTLFLAG_RD|CTLFLAG_LOCKED, &firmware_PalCode_bytes, "");
-SYSCTL_QUAD(_machdep_memmap, OID_AUTO, Reserved, CTLFLAG_RD|CTLFLAG_LOCKED, &firmware_Reserved_bytes, "");
-SYSCTL_QUAD(_machdep_memmap, OID_AUTO, Unusable, CTLFLAG_RD|CTLFLAG_LOCKED, &firmware_Unusable_bytes, "");
-SYSCTL_QUAD(_machdep_memmap, OID_AUTO, Other, CTLFLAG_RD|CTLFLAG_LOCKED, &firmware_other_bytes, "");
+SYSCTL_QUAD(_machdep_memmap, OID_AUTO, Conventional, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_Conventional_bytes, "");
+SYSCTL_QUAD(_machdep_memmap, OID_AUTO, RuntimeServices, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_RuntimeServices_bytes, "");
+SYSCTL_QUAD(_machdep_memmap, OID_AUTO, ACPIReclaim, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_ACPIReclaim_bytes, "");
+SYSCTL_QUAD(_machdep_memmap, OID_AUTO, ACPINVS, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_ACPINVS_bytes, "");
+SYSCTL_QUAD(_machdep_memmap, OID_AUTO, PalCode, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_PalCode_bytes, "");
+SYSCTL_QUAD(_machdep_memmap, OID_AUTO, Reserved, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_Reserved_bytes, "");
+SYSCTL_QUAD(_machdep_memmap, OID_AUTO, Unusable, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_Unusable_bytes, "");
+SYSCTL_QUAD(_machdep_memmap, OID_AUTO, Other, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_other_bytes, "");

 
 

-SYSCTL_NODE(_machdep, OID_AUTO, tsc, CTLFLAG_RD|CTLFLAG_LOCKED, NULL, "Timestamp counter parameters");
+SYSCTL_NODE(_machdep, OID_AUTO, tsc, CTLFLAG_RD | CTLFLAG_LOCKED, NULL, "Timestamp counter parameters");

 
 SYSCTL_QUAD(_machdep_tsc, OID_AUTO, frequency,
 
 SYSCTL_QUAD(_machdep_tsc, OID_AUTO, frequency,

-       CTLFLAG_RD|CTLFLAG_LOCKED, &tscFreq, "");
+    CTLFLAG_RD | CTLFLAG_LOCKED, &tscFreq, "");

 
 extern uint32_t deep_idle_rebase;
 SYSCTL_UINT(_machdep_tsc, OID_AUTO, deep_idle_rebase,
 
 extern uint32_t deep_idle_rebase;
 SYSCTL_UINT(_machdep_tsc, OID_AUTO, deep_idle_rebase,

-       CTLFLAG_RD|CTLFLAG_LOCKED, &deep_idle_rebase, 0, "");
+    CTLFLAG_RD | CTLFLAG_LOCKED, &deep_idle_rebase, 0, "");

 SYSCTL_QUAD(_machdep_tsc, OID_AUTO, at_boot,
 SYSCTL_QUAD(_machdep_tsc, OID_AUTO, at_boot,

-       CTLFLAG_RD|CTLFLAG_LOCKED, &tsc_at_boot, "");
+    CTLFLAG_RD | CTLFLAG_LOCKED, &tsc_at_boot, "");

 SYSCTL_QUAD(_machdep_tsc, OID_AUTO, rebase_abs_time,
 SYSCTL_QUAD(_machdep_tsc, OID_AUTO, rebase_abs_time,

-       CTLFLAG_RD|CTLFLAG_LOCKED, &tsc_rebase_abs_time, "");
+    CTLFLAG_RD | CTLFLAG_LOCKED, &tsc_rebase_abs_time, "");
+#if DEVELOPMENT || DEBUG
+SYSCTL_PROC(_machdep_tsc, OID_AUTO, synch_deltas,
+    CTLTYPE_STRING | CTLFLAG_RD | CTLFLAG_LOCKED,
+    0, 0, x86_cpu_tsc_deltas, "A", "TSC synch deltas");
+#endif

 
 SYSCTL_NODE(_machdep_tsc, OID_AUTO, nanotime,
 
 SYSCTL_NODE(_machdep_tsc, OID_AUTO, nanotime,

-       CTLFLAG_RD|CTLFLAG_LOCKED, NULL, "TSC to ns conversion");
+    CTLFLAG_RD | CTLFLAG_LOCKED, NULL, "TSC to ns conversion");

 SYSCTL_QUAD(_machdep_tsc_nanotime, OID_AUTO, tsc_base,
 SYSCTL_QUAD(_machdep_tsc_nanotime, OID_AUTO, tsc_base,

-       CTLFLAG_RD | CTLFLAG_LOCKED,
-       __DECONST(uint64_t *, &pal_rtc_nanotime_info.tsc_base), "");
+    CTLFLAG_RD | CTLFLAG_LOCKED,
+    __DECONST(uint64_t *, &pal_rtc_nanotime_info.tsc_base), "");

 SYSCTL_QUAD(_machdep_tsc_nanotime, OID_AUTO, ns_base,
 SYSCTL_QUAD(_machdep_tsc_nanotime, OID_AUTO, ns_base,

-       CTLFLAG_RD | CTLFLAG_LOCKED,
-       __DECONST(uint64_t *, &pal_rtc_nanotime_info.ns_base), "");
+    CTLFLAG_RD | CTLFLAG_LOCKED,
+    __DECONST(uint64_t *, &pal_rtc_nanotime_info.ns_base), "");

 SYSCTL_UINT(_machdep_tsc_nanotime, OID_AUTO, scale,
 SYSCTL_UINT(_machdep_tsc_nanotime, OID_AUTO, scale,

-       CTLFLAG_RD | CTLFLAG_LOCKED,
-       __DECONST(uint32_t *, &pal_rtc_nanotime_info.scale), 0, "");
+    CTLFLAG_RD | CTLFLAG_LOCKED,
+    __DECONST(uint32_t *, &pal_rtc_nanotime_info.scale), 0, "");

 SYSCTL_UINT(_machdep_tsc_nanotime, OID_AUTO, shift,
 SYSCTL_UINT(_machdep_tsc_nanotime, OID_AUTO, shift,

-       CTLFLAG_RD | CTLFLAG_LOCKED,
-       __DECONST(uint32_t *, &pal_rtc_nanotime_info.shift), 0, "");
+    CTLFLAG_RD | CTLFLAG_LOCKED,
+    __DECONST(uint32_t *, &pal_rtc_nanotime_info.shift), 0, "");

 SYSCTL_UINT(_machdep_tsc_nanotime, OID_AUTO, generation,
 SYSCTL_UINT(_machdep_tsc_nanotime, OID_AUTO, generation,

-       CTLFLAG_RD | CTLFLAG_LOCKED,
-       __DECONST(uint32_t *, &pal_rtc_nanotime_info.generation), 0, "");
+    CTLFLAG_RD | CTLFLAG_LOCKED,
+    __DECONST(uint32_t *, &pal_rtc_nanotime_info.generation), 0, "");

 
 

-SYSCTL_NODE(_machdep, OID_AUTO, misc, CTLFLAG_RW|CTLFLAG_LOCKED, 0,
-       "Miscellaneous x86 kernel parameters");
+SYSCTL_NODE(_machdep, OID_AUTO, misc, CTLFLAG_RW | CTLFLAG_LOCKED, 0,
+    "Miscellaneous x86 kernel parameters");

 
 #if (DEVELOPMENT || DEBUG)
 extern uint32_t mp_interrupt_watchdog_events;
 SYSCTL_UINT(_machdep_misc, OID_AUTO, interrupt_watchdog_events,
 
 #if (DEVELOPMENT || DEBUG)
 extern uint32_t mp_interrupt_watchdog_events;
 SYSCTL_UINT(_machdep_misc, OID_AUTO, interrupt_watchdog_events,

-       CTLFLAG_RW|CTLFLAG_LOCKED, &mp_interrupt_watchdog_events, 0, "");
+    CTLFLAG_RW | CTLFLAG_LOCKED, &mp_interrupt_watchdog_events, 0, "");
+
+extern int insnstream_force_cacheline_mismatch;
+SYSCTL_INT(_machdep_misc, OID_AUTO, insnstream_force_clmismatch,
+    CTLFLAG_RW | CTLFLAG_LOCKED, &insnstream_force_cacheline_mismatch, 0, "");

 #endif
 
 
 SYSCTL_PROC(_machdep_misc, OID_AUTO, panic_restart_timeout,
 #endif
 
 
 SYSCTL_PROC(_machdep_misc, OID_AUTO, panic_restart_timeout,

-           CTLTYPE_INT | CTLFLAG_RW | CTLFLAG_LOCKED, 
-           0, 0,
-           panic_set_restart_timeout, "I", "Panic restart timeout in seconds");
+    CTLTYPE_INT | CTLFLAG_RW | CTLFLAG_LOCKED,
+    0, 0,
+    panic_set_restart_timeout, "I", "Panic restart timeout in seconds");

 
 SYSCTL_PROC(_machdep_misc, OID_AUTO, interrupt_latency_max,
 
 SYSCTL_PROC(_machdep_misc, OID_AUTO, interrupt_latency_max,

-           CTLTYPE_STRING | CTLFLAG_RW | CTLFLAG_LOCKED, 
-           0, 0,
-           misc_interrupt_latency_max, "A", "Maximum Interrupt latency");
+    CTLTYPE_STRING | CTLFLAG_RW | CTLFLAG_LOCKED,
+    0, 0,
+    misc_interrupt_latency_max, "A", "Maximum Interrupt latency");
+
+extern boolean_t is_x2apic;
+SYSCTL_INT(_machdep, OID_AUTO, x2apic_enabled,
+    CTLFLAG_KERN | CTLFLAG_RD | CTLFLAG_LOCKED,
+    &is_x2apic, 0, "");

 
 #if DEVELOPMENT || DEBUG
 SYSCTL_PROC(_machdep_misc, OID_AUTO, machine_check_panic,
 
 #if DEVELOPMENT || DEBUG
 SYSCTL_PROC(_machdep_misc, OID_AUTO, machine_check_panic,

-           CTLTYPE_STRING | CTLFLAG_RW | CTLFLAG_LOCKED, 
-           0, 0,
-           misc_machine_check_panic, "A", "Machine-check exception test");
+    CTLTYPE_STRING | CTLFLAG_RW | CTLFLAG_LOCKED,
+    0, 0,
+    misc_machine_check_panic, "A", "Machine-check exception test");

 
 SYSCTL_PROC(_machdep_misc, OID_AUTO, kernel_timeout_spin,
 
 SYSCTL_PROC(_machdep_misc, OID_AUTO, kernel_timeout_spin,

-           CTLTYPE_QUAD | CTLFLAG_RW | CTLFLAG_LOCKED, 
-           0, sizeof(kernel_timeout_spin),
-           misc_kernel_timeout_spin, "Q", "Kernel timeout panic test");
+    CTLTYPE_QUAD | CTLFLAG_RW | CTLFLAG_LOCKED,
+    0, sizeof(kernel_timeout_spin),
+    misc_kernel_timeout_spin, "Q", "Kernel timeout panic test");

 
 SYSCTL_QUAD(_machdep, OID_AUTO, reportphyreadabs,
 
 SYSCTL_QUAD(_machdep, OID_AUTO, reportphyreadabs,

-               CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
-               &reportphyreaddelayabs, "");
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &reportphyreaddelayabs, "");
+SYSCTL_QUAD(_machdep, OID_AUTO, reportphywriteabs,
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &reportphywritedelayabs, "");
+SYSCTL_QUAD(_machdep, OID_AUTO, tracephyreadabs,
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &tracephyreaddelayabs, "");
+SYSCTL_QUAD(_machdep, OID_AUTO, tracephywriteabs,
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &tracephywritedelayabs, "");

 SYSCTL_INT(_machdep, OID_AUTO, reportphyreadosbt,
 SYSCTL_INT(_machdep, OID_AUTO, reportphyreadosbt,

-               CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
-               &reportphyreadosbt, 0, "");
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &reportphyreadosbt, 0, "");
+SYSCTL_INT(_machdep, OID_AUTO, reportphywriteosbt,
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &reportphywriteosbt, 0, "");

 SYSCTL_INT(_machdep, OID_AUTO, phyreaddelaypanic,
 SYSCTL_INT(_machdep, OID_AUTO, phyreaddelaypanic,

-               CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
-               &phyreadpanic, 0, "");
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &phyreadpanic, 0, "");
+SYSCTL_INT(_machdep, OID_AUTO, phywritedelaypanic,
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &phywritepanic, 0, "");
+#if DEVELOPMENT || DEBUG
+extern uint64_t simulate_stretched_io;
+SYSCTL_QUAD(_machdep, OID_AUTO, sim_stretched_io_ns,
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &simulate_stretched_io, "");
+#endif

 
 extern int pmap_pagezero_mitigation;
 extern int pmap_asserts_enabled, pmap_asserts_traced;
 
 extern int pmap_pagezero_mitigation;
 extern int pmap_asserts_enabled, pmap_asserts_traced;


@@ -882,9 +976,9 @@ misc_svisor_read(__unused struct sysctl_oid *oidp, __unused void *arg1, __unused
 }
 
 SYSCTL_PROC(_machdep_misc, OID_AUTO, misc_svisor_read,
 }
 
 SYSCTL_PROC(_machdep_misc, OID_AUTO, misc_svisor_read,

-           CTLTYPE_QUAD | CTLFLAG_RW | CTLFLAG_LOCKED, 
-           0, 0,
-           misc_svisor_read, "I", "supervisor mode read");
+    CTLTYPE_QUAD | CTLFLAG_RW | CTLFLAG_LOCKED,
+    0, 0,
+    misc_svisor_read, "I", "supervisor mode read");

 
 #endif /* DEVELOPMENT || DEBUG */
 
 
 #endif /* DEVELOPMENT || DEBUG */
 


@@ -905,9 +999,9 @@ misc_timer_queue_trace(__unused struct sysctl_oid *oidp, __unused void *arg1, __
 }
 
 SYSCTL_PROC(_machdep_misc, OID_AUTO, timer_queue_trace,
 }
 
 SYSCTL_PROC(_machdep_misc, OID_AUTO, timer_queue_trace,

-           CTLTYPE_STRING | CTLFLAG_RW | CTLFLAG_LOCKED, 
-           0, 0,
-           misc_timer_queue_trace, "A", "Cut timer queue tracepoint");
+    CTLTYPE_STRING | CTLFLAG_RW | CTLFLAG_LOCKED,
+    0, 0,
+    misc_timer_queue_trace, "A", "Cut timer queue tracepoint");

 
 extern long NMI_count;
 extern void NMI_cpus(void);
 
 extern long NMI_count;
 extern void NMI_cpus(void);


@@ -916,7 +1010,7 @@ misc_nmis(__unused struct sysctl_oid *oidp, __unused void *arg1, __unused int ar
 {
        int new = 0, old = 0, changed = 0, error;
 
 {
        int new = 0, old = 0, changed = 0, error;
 

-       old = NMI_count;
+       old = (int)MIN(NMI_count, INT_MAX);

 
        error = sysctl_io_number(req, old, sizeof(int), &new, &changed);
        if (error == 0 && changed) {
 
        error = sysctl_io_number(req, old, sizeof(int), &new, &changed);
        if (error == 0 && changed) {


@@ -927,23 +1021,23 @@ misc_nmis(__unused struct sysctl_oid *oidp, __unused void *arg1, __unused int ar
 }
 
 SYSCTL_PROC(_machdep_misc, OID_AUTO, nmis,
 }
 
 SYSCTL_PROC(_machdep_misc, OID_AUTO, nmis,

-           CTLTYPE_INT | CTLFLAG_RW | CTLFLAG_LOCKED, 
-           0, 0,
-           misc_nmis, "I", "Report/increment NMI count");
+    CTLTYPE_INT | CTLFLAG_RW | CTLFLAG_LOCKED,
+    0, 0,
+    misc_nmis, "I", "Report/increment NMI count");

 
 /* Parameters related to timer coalescing tuning, to be replaced
  * with a dedicated systemcall in the future.
  */
 /* Enable processing pending timers in the context of any other interrupt */
 SYSCTL_INT(_kern, OID_AUTO, interrupt_timer_coalescing_enabled,
 
 /* Parameters related to timer coalescing tuning, to be replaced
  * with a dedicated systemcall in the future.
  */
 /* Enable processing pending timers in the context of any other interrupt */
 SYSCTL_INT(_kern, OID_AUTO, interrupt_timer_coalescing_enabled,

-               CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
-               &interrupt_timer_coalescing_enabled, 0, "");
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &interrupt_timer_coalescing_enabled, 0, "");

 /* Upon entering idle, process pending timers with HW deadlines
  * this far in the future.
  */
 SYSCTL_INT(_kern, OID_AUTO, timer_coalesce_idle_entry_hard_deadline_max,
 /* Upon entering idle, process pending timers with HW deadlines
  * this far in the future.
  */
 SYSCTL_INT(_kern, OID_AUTO, timer_coalesce_idle_entry_hard_deadline_max,

-               CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
-               &idle_entry_timer_processing_hdeadline_threshold, 0, "");
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &idle_entry_timer_processing_hdeadline_threshold, 0, "");

 
 /* Track potentially expensive eager timer evaluations on QoS tier
  * switches.
 
 /* Track potentially expensive eager timer evaluations on QoS tier
  * switches.


@@ -951,23 +1045,149 @@ SYSCTL_INT(_kern, OID_AUTO, timer_coalesce_idle_entry_hard_deadline_max,
 extern uint32_t ml_timer_eager_evaluations;
 
 SYSCTL_INT(_machdep, OID_AUTO, eager_timer_evaluations,
 extern uint32_t ml_timer_eager_evaluations;
 
 SYSCTL_INT(_machdep, OID_AUTO, eager_timer_evaluations,

-               CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
-               &ml_timer_eager_evaluations, 0, "");
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &ml_timer_eager_evaluations, 0, "");

 
 extern uint64_t ml_timer_eager_evaluation_max;
 
 SYSCTL_QUAD(_machdep, OID_AUTO, eager_timer_evaluation_max,
 
 extern uint64_t ml_timer_eager_evaluation_max;
 
 SYSCTL_QUAD(_machdep, OID_AUTO, eager_timer_evaluation_max,

-               CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
-               &ml_timer_eager_evaluation_max, "");
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &ml_timer_eager_evaluation_max, "");

 extern uint64_t x86_isr_fp_simd_use;
 SYSCTL_QUAD(_machdep, OID_AUTO, x86_fp_simd_isr_uses,
 extern uint64_t x86_isr_fp_simd_use;
 SYSCTL_QUAD(_machdep, OID_AUTO, x86_fp_simd_isr_uses,

-               CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
-               &x86_isr_fp_simd_use, "");
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &x86_isr_fp_simd_use, "");

 #if DEVELOPMENT || DEBUG
 
 extern int plctrace_enabled;
 
 SYSCTL_INT(_machdep, OID_AUTO, pltrace,
 #if DEVELOPMENT || DEBUG
 
 extern int plctrace_enabled;
 
 SYSCTL_INT(_machdep, OID_AUTO, pltrace,

-               CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
-               &plctrace_enabled, 0, "");
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &plctrace_enabled, 0, "");
+
+/* Intentionally not declared as volatile here: */
+extern int mmiotrace_enabled;
+
+SYSCTL_INT(_machdep, OID_AUTO, MMIOtrace,
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &mmiotrace_enabled, 0, "");
+
+extern int fpsimd_fault_popc;
+SYSCTL_INT(_machdep, OID_AUTO, fpsimd_fault_popc,
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &fpsimd_fault_popc, 0, "");
+
+volatile int stop_spinning;
+static int
+spin_in_the_kernel(__unused struct sysctl_oid *oidp, __unused void *arg1, __unused int arg2, struct sysctl_req *req)
+{
+       int new = 0, old = 0, changed = 0, error;
+
+       error = sysctl_io_number(req, old, sizeof(int), &new, &changed);
+       if (error == 0 && changed) {
+               stop_spinning = FALSE;
+               while (stop_spinning == FALSE) {
+                       __builtin_ia32_pause();
+               }
+       } else if (error == 0) {
+               stop_spinning = TRUE;
+       }
+
+       return error;
+}
+
+SYSCTL_PROC(_machdep_misc, OID_AUTO, spin_forever,
+    CTLTYPE_INT | CTLFLAG_RW | CTLFLAG_LOCKED | CTLFLAG_MASKED,
+    0, 0,
+    spin_in_the_kernel, "I", "Spin forever");
+
+
+extern int traptrace_enabled;
+SYSCTL_INT(_machdep_misc, OID_AUTO, traptrace_enabled,
+    CTLFLAG_KERN | CTLFLAG_RW | CTLFLAG_LOCKED,
+    &traptrace_enabled, 0, "Enabled/disable trap trace");
+
+
+/*
+ * Trigger a guest kernel core dump (internal only)
+ * Usage: sysctl kern.trigger_kernel_coredump = 1
+ * (option selector must be 1, other values reserved)
+ */
+
+static int
+sysctl_trigger_kernel_coredump(struct sysctl_oid *oidp __unused, void *arg1, int arg2, struct sysctl_req *req)
+{
+       int error = 0;
+       hvg_hcall_return_t hv_ret;
+       char buf[2]; // 1 digit for dump option + 1 '\0'
+
+       if (req->newptr) {
+               // Write request
+               if (req->newlen > 1) {
+                       return EINVAL;
+               }
+               error = SYSCTL_IN(req, buf, req->newlen);
+               buf[req->newlen] = '\0';
+               if (!error) {
+                       if (strcmp(buf, "1") != 0) {
+                               return EINVAL;
+                       }
+                       /* Issue hypercall to trigger a dump */
+                       hv_ret = hvg_hcall_trigger_dump(arg1, HVG_HCALL_DUMP_OPTION_REGULAR);
+
+                       /* Translate hypercall error code to syscall error code */
+                       switch (hv_ret) {
+                       case HVG_HCALL_SUCCESS:
+                               error = SYSCTL_OUT(req, arg1, 41);
+                               break;
+                       case HVG_HCALL_ACCESS_DENIED:
+                               error = EPERM;
+                               break;
+                       case HVG_HCALL_INVALID_CODE:
+                       case HVG_HCALL_INVALID_PARAMETER:
+                               error = EINVAL;
+                               break;
+                       case HVG_HCALL_IO_FAILED:
+                               error = EIO;
+                               break;
+                       case HVG_HCALL_FEAT_DISABLED:
+                       case HVG_HCALL_UNSUPPORTED:
+                               error = ENOTSUP;
+                               break;
+                       default:
+                               error = ENODEV;
+                       }
+               }
+       } else {
+               // Read request
+               error = SYSCTL_OUT(req, arg1, arg2);
+       }
+       return error;
+}
+
+
+static hvg_hcall_vmcore_file_t sysctl_vmcore;
+
+void
+hvg_bsd_init(void)
+{
+       if (!cpuid_vmm_present()) {
+               return;
+       }
+
+       if ((cpuid_vmm_get_applepv_features() & CPUID_LEAF_FEATURE_COREDUMP) != 0) {
+               /* Register an OID in the sysctl MIB tree for kern.trigger_kernel_coredump */
+               struct sysctl_oid *hcall_trigger_dump_oid = zalloc_permanent(sizeof(struct sysctl_oid), ZALIGN(struct sysctl_oid));
+               struct sysctl_oid oid = SYSCTL_STRUCT_INIT(_kern,
+                   OID_AUTO,
+                   trigger_kernel_coredump,
+                   CTLTYPE_STRING | CTLFLAG_RW,
+                   &sysctl_vmcore, sizeof(sysctl_vmcore),
+                   sysctl_trigger_kernel_coredump,
+                   "A", "Request that the hypervisor take a live kernel dump");
+               *hcall_trigger_dump_oid = oid;
+               sysctl_register_oid(hcall_trigger_dump_oid);
+       }
+}
+

 #endif /* DEVELOPMENT || DEBUG */
 #endif /* DEVELOPMENT || DEBUG */