orig_ports_available 1179 drivers/platform/x86/asus-wmi.c 	u32 orig_ports_available;
orig_ports_available 1190 drivers/platform/x86/asus-wmi.c 				&orig_ports_available);
orig_ports_available 1196 drivers/platform/x86/asus-wmi.c 			orig_ports_available, ports_available);