/*
 *
 */
{
	global:

		/* needed by wifi_drv */
		wpa_main;
		wpa_reporter_init;
		wpa_ctrl_set_fd;

		/* needed by wpa_driver_nl80211 */
		__hide_aliasing_typecast;
		eloop_*;
		get_hdr_bssid;
		ieee80211_freq_to_chan;
		ieee80211_radiotap_*;
		os_*;
		wpa_*;
		wpabuf_*;
		sha1_vector*;
		get_ie*;
		fc2str*;

	local:

		*;
};
