alpha_sysctl_chipset
return (alpha_sysctl_chipset(name + 1, namelen - 1, oldp,
int alpha_sysctl_chipset(int *, u_int, char *, size_t *);