save_int_sysctl
save_int_sysctl(SYSCTL0_NAME, SYSCTL0_FILE);
save_int_sysctl(SYSCTL1_NAME, SYSCTL1_FILE);