p6ctrsel           40 arch/i386/i386/pctr.c int p6ctrsel(int fflag, u_int cmd, u_int fn);
p6ctrsel          190 arch/i386/i386/pctr.c 			return p6ctrsel(fflag, cmd, *(u_int *) data);