Symbol: tux_wmi_xx_8in_80out
drivers/platform/x86/tuxedo/nb04/wmi_ab.c
435
ret = tux_wmi_xx_8in_80out(wdev, TUX_GET_DEVICE_STATUS, &in, &out);
drivers/platform/x86/tuxedo/nb04/wmi_util.h
100
int tux_wmi_xx_8in_80out(struct wmi_device *wdev,