file_Exists
if (file_Exists(dsaDeviceFile) == 1)
if (file_Exists(dsaPasidEnable) != 1) {
return (file_Exists(dsaDeviceFile) != 1);