Symbol: K_T_SEL_S0
sys/dev/pci/kate.c
208
K_T_SEL_S0(t);
sys/dev/pci/kate.c
216
K_T_SEL_S0(t);