![]() |
Max OS 0.3
|
A tag containing information about the EFI 32-bit system table. More...
#include <multiboot.h>
Public Attributes | |
| multiboot_uint32_t | type |
| *copydoc multiboot_tag::type | |
| multiboot_uint32_t | size |
| *copydoc multiboot_tag::size | |
| multiboot_uint32_t | pointer |
| Where the EFI system table is located. | |
A tag containing information about the EFI 32-bit system table.
Definition at line 410 of file multiboot.h.
| multiboot_uint32_t multiboot_tag_efi32::pointer |
Where the EFI system table is located.
Definition at line 413 of file multiboot.h.
| multiboot_uint32_t multiboot_tag_efi32::size |
*copydoc multiboot_tag::size
Definition at line 412 of file multiboot.h.
| multiboot_uint32_t multiboot_tag_efi32::type |
*copydoc multiboot_tag::type
Definition at line 411 of file multiboot.h.