bootloader/memory.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#ifndef MEMORY_H
#define MEMORY_H

#include <efi.h>
#include <efilib.h>

#include <stdint.h>

#include "memorytypes.h"

void * EFIAPI AllocatePagesType(IN UINTN size, IN UINTN type);
void bootloader_memset(void *, uint64_t size, uint8_t value);

#endif