PMC_SYSCTL_NAME_PREFIX
TUNABLE_STR(PMC_SYSCTL_NAME_PREFIX "debugflags", pmc_debugstr,
if (TUNABLE_STR_FETCH(PMC_SYSCTL_NAME_PREFIX "debugflags",