mib_name
rv = sysctlbyname(mib_name, NULL, NULL, &arg_addr64,
warn("sysctlbyname('%s') -> %d", mib_name, rv);
rv = sysctlbyname(mib_name, &x86_pte_results, &len, 0, 0);
rv = sysctlbyname(mib_name, NULL, NULL, &arg_addr64,
warn("sysctlbyname('%s') -> %d", mib_name, rv);
static const char mib_name[] = "machdep.prodfamily";
if (sysctlbyname(mib_name, NULL, &len, NULL, 0) != 0) {
sysctlbyname(mib_name, prodname, &len, NULL, 0);