OS_DEVICE_NAME_LEN
(void) vswprintf(wcs, OS_DEVICE_NAME_LEN - 1, lpszFormat, args);
OS_DEVICE_NAME_LEN);