| /* | |
| * Copyright 2014, NICTA | |
| * | |
| * This software may be distributed and modified according to the terms of | |
| * the GNU General Public License version 2. Note that NO WARRANTY is provided. | |
| * See "LICENSE_GPLv2.txt" for details. | |
| * | |
| * @TAG(NICTA_GPL) | |
| */ | |
| #ifndef __LIB_VMM_E820_H_ | |
| #define __LIB_VMM_E820_H_ | |
| /* e820 memory region types. */ | |
| #define E820_RAM 1 | |
| #define E820_RESERVED 2 | |
| #define E820_ACPI 3 | |
| #define E820_NVS 4 | |
| #define E820_UNUSABLE 5 | |
| #define E820_MAX_REGIONS 128 /* E820 supports up to 128. */ | |
| #endif /* __LIB_VMM_E820_H_ */ | |