EDK2写一个UEFI程序，每执行一次就将当前执行次数写进文件中，当执行第1000次停止运行

以下是一个简单的UEFI程序，每次执行都会将当前执行次数写入文件中。当执行次数达到1000时，程序将停止运行。请注意，此程序仅用于演示目的，可能需要根据实际情况进行修改。

#include <Uefi.h>
#include <Library/UefiLib.h>
#include <Library/UefiApplicationEntryPoint.h>
#include <Library/UefiBootServicesTableLib.h>
#include <Library/BaseLib.h>
#include <Library/BaseMemoryLib.h>
#include <Library/FileHandleLib.h>

#define FILE_NAME L"count.txt"

EFI_STATUS
EFIAPI
UefiMain(
  IN EFI_HANDLE ImageHandle,
  IN EFI_SYSTEM_TABLE *SystemTable
  )
{
    EFI_STATUS status = EFI_SUCCESS;
    UINTN count = 0;
    EFI_FILE_HANDLE fileHandle = NULL;

    // 打开文件
    status = OpenFileByName(FILE_NAME, &fileHandle, EFI_FILE_MODE_READ_WRITE | EFI_FILE_MODE_CREATE, 0);
    if (EFI_ERROR(status)) {
        Print(L"Failed to open file: %r\n", status);
        return status;
    }

    // 读取文件中的计数值
    status = ReadFile(fileHandle, &count, sizeof(count));
    if (EFI_ERROR(status)) {
        Print(L"Failed to read file: %r\n", status);
        CloseFile(fileHandle);
        return status;
    }

    // 执行计数器
    while (count < 1000) {
        count++;
        Print(L"Count: %d\n", count);

        // 将计数值写入文件
        status = SetFilePosition(fileHandle, 0);
        if (EFI_ERROR(status)) {
            Print(L"Failed to set file position: %r\n", status);
            CloseFile(fileHandle);
            return status;
        }

        status = WriteFile(fileHandle, &count, sizeof(count));
        if (EFI_ERROR(status)) {
            Print(L"Failed to write file: %r\n", status);
            CloseFile(fileHandle);
            return status;
        }
    }

    // 关闭文件
    CloseFile(fileHandle);

    return EFI_SUCCESS;
}