EFI memory. More...
#include <bsp.h>
#include <bsp/bootcard.h>
#include <efi.h>
#include <efilib.h>
#include <stdio.h>
EFI memory.