Searched refs:device_policy_len (Results 1 – 1 of 1) sorted by relevance
1095 int device_policy_len; in build_filenames() local1119 device_policy_len = len + sizeof (DEV_POLICY); in build_filenames()1129 device_policy = malloc(device_policy_len); in build_filenames()1159 (void) snprintf(device_policy, device_policy_len, in build_filenames()