Searched refs:FilePath (Results 1 – 3 of 3) sorted by relevance
205 char *FilePath) in AbDisplayHeader() argument211 File = fopen (FilePath, "rb"); in AbDisplayHeader()214 printf ("Could not open file %s\n", FilePath); in AbDisplayHeader()223 printf ("File %s does not contain a valid ACPI table header\n", FilePath); in AbDisplayHeader()246 char *FilePath) in AbComputeChecksum() argument254 File = fopen (FilePath, "rb"); in AbComputeChecksum()257 printf ("Could not open file %s\n", FilePath); in AbComputeChecksum()264 printf ("File %s does not contain a valid ACPI table header\n", FilePath); in AbComputeChecksum()313 File = fopen (FilePath, "r+b"); in AbComputeChecksum()316 printf ("Could not open file %s for writing\n", FilePath); in AbComputeChecksum()
107 Arguments: -vi "$(FilePath)"113 Quotes around FilePath and FileDir enable spaces in filenames.
421 EFI_DEVICE_PATH *FilePath,453 EFI_DEVICE_PATH *FilePath; member
Completed in 10 milliseconds