efi.h

Go to the documentation of this file.

 
#ifndef __EFI_H__
#define __EFI_H__
 
#include <stdint.h>
 
typedef struct _EFI_MEM_DESC_ {
    uint32_t type;
    uint64_t phys_start;
    uint64_t virt_start;
    uint64_t num_pages;
    uint64_t attrib;
}EFI_MEMORY_DESCRIPTOR;
 
#endif