sysctl_w32_mask
sysctl_w32_mask(SYSCTL_SYS1, 7 << (GPPC_OFFSET + 1),
sysctl_w32_mask(SYSCTL_SYS1, 0, 1 << (GPPC_OFFSET + 1), SYS1_INFRAC);