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);