- name: loaded_image
  guid: "0x5b1b31a1,0x9562,0x11d2,{0x8e,0x3f,0x00,0xa0,0xc9,0x69,0x72,0x3b}"
  headers:
    - uefi/tables.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: 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 *