SYSCTL0_FILE
save_int_sysctl(SYSCTL0_NAME, SYSCTL0_FILE);
restore_int_sysctl(SYSCTL0_NAME, SYSCTL0_FILE);