j6-uefi-headers/protos.yaml

- name: loaded_image
  guid: "0x5b1b31a1,0x9562,0x11d2,{0x8e,0x3f,0x00,0xa0,0xc9,0x69,0x72,0x3b}"
  headers:
    - uefi/tables.h
    - uefi/protos/device_path.h
  pre_data:
    - name: revision
      type: uint32_t
    - name: parent_handle
      type: uefi::handle
    - name: system_table
      type: uefi::system_table *
    - name: device_handle
      type: uefi::handle
    - name: file_path
      type: uefi::protos::device_path *
    - name: reserved
      type: void *
    - name: load_options_size
      type: uint32_t
    - name: load_options
      type: void *
    - name: image_base
      type: void *
    - name: image_size
      type: uint64_t
    - name: image_code_type
      type: uefi::memory_type
    - name: image_data_type
      type: uefi::memory_type
  methods:
    - name: unload
      skip_this: true
      args:
        - name: image_handle
          type: uefi::handle

- name: device_path
  guid: "0x09576e91,0x6d3f,0x11d2,{0x8e,0x39,0x00,0xa0,0xc9,0x69,0x72,0x3b}"
  pre_data:
    - name: type
      type: uint8_t
    - name: sub_type
      type: uint8_t
    - name: length
      type: uint16_t

- name: simple_text_output
  guid: "0x387477c2,0x69c7,0x11d2,{0x8e,0x39,0x00,0xa0,0xc9,0x69,0x72,0x3b}"
  headers:
    - uefi/graphics.h
  methods:
    - name: reset
      args:
        - name: extended_verification
          type: bool
    - name: output_string
      args:
        - name: string
          type: const wchar_t *
    - name: test_string
      args:
        - name: string
          type: const wchar_t *
    - name: query_mode
      args:
        - name: mode_number
          type: uint64_t
        - name: columns
          type: uint64_t *
        - name: rows
          type: uint64_t *
    - name: set_mode
      args:
        - name: mode_number
          type: uint64_t
    - name: set_attribute
      args:
        - name: attribute
          type: uefi::attribute
    - name: clear_screen
    - name: set_cursor_position
      args:
        - name: column
          type: uint64_t
        - name: row
          type: uint64_t
    - name: enable_cursor
      args:
        - name: visible
          type: bool
  post_data:
    - name: mode
      type: uefi::text_output_mode *

- name: graphics_output
  guid: "0x9042a9de,0x23dc,0x4a38,{0x96,0xfb,0x7a,0xde,0xd0,0x80,0x51,0x6a}"
  headers:
    - uefi/graphics.h
  methods:
    - name: query_mode
      args:
        - name: mode_number
          type: uint32_t
        - name: size_of_info
          type: uint64_t *
        - name: info
          type: uefi::graphics_output_mode_info **
    - name: set_mode
      args:
        - name: mode_number
          type: uint32_t
    - name: blt
  post_data:
    - name: mode
      type: uefi::graphics_output_mode *

- name: simple_file_system
  guid: "0x0964e5b22,0x6459,0x11d2,{0x8e,0x39,0x00,0xa0,0xc9,0x69,0x72,0x3b}"
  headers:
    - uefi/protos/file.h
  pre_data:
    - name: revision
      type: uint64_t
  methods:
    - name: open_volume
      args:
        - name: root
          type: uefi::protos::file **

- name: file
  pre_data:
    - name: revision
      type: uint64_t
  methods:
    - name: open
      args:
        - name: new_handle
          type: file **
        - name: file_name
          type: const wchar_t *
        - name: open_mode
          type: file_mode
        - name: attributes
          type: file_attr
    - name: close
    - name: delete_file
    - name: read
      args:
        - name: buffer_size
          type: uint64_t *
        - name: buffer
          type: void *
    - name: write
      args:
        - name: buffer_size
          type: uint64_t *
        - name: buffer
          type: void *
    - name: get_position
      args:
        - name: position
          type: uint64_t *
    - name: set_position
      args:
        - name: position
          type: uint64_t
    - name: get_info
      args:
        - name: info_type
          type: const guid *
        - name: buffer_size
          type: uint64_t *
        - name: buffer
          type: void *
    - name: set_info
      args:
        - name: info_type
          type: const guid *
        - name: buffer_size
          type: uint64_t
        - name: buffer
          type: void *
    - name: flush
    - name: open_ex
      args:
        - name: new_handle
          type: file **
        - name: file_name
          type: const wchar_t *
        - name: open_mode
          type: uint64_t
        - name: attributes
          type: uint64_t
        - name: token
          type: file_io_token *
    - name: read_ex
      args:
        - name: token
          type: file_io_token *
    - name: write_ex
      args:
        - name: token
          type: file_io_token *
    - name: flush_ex
      args:
        - name: token
          type: file_io_token *

- name: file_info
  guid: "0x09576e92,0x6d3f,0x11d2,{0x8e,0x39,0x00,0xa0,0xc9,0x69,0x72,0x3b}"
  pre_data:
    - name: size
      type: uint64_t
    - name: file_size
      type: uint64_t
    - name: physical_size
      type: uint64_t
    - name: create_time
      type: time
    - name: last_access_time
      type: time
    - name: modification_time
      type: time
    - name: attribute
      type: uint64_t
    - name: file_name[]
      type: wchar_t