WPI_CONFIG_24GHZ 2356 dev/pci/if_wpi.c 		    WPI_CONFIG_24GHZ);
WPI_CONFIG_24GHZ 2470 dev/pci/if_wpi.c 		hdr->flags = htole32(WPI_CONFIG_24GHZ | WPI_CONFIG_AUTO);
WPI_CONFIG_24GHZ 2607 dev/pci/if_wpi.c 		    WPI_CONFIG_24GHZ);