Searched refs:CONFIG_MAX_RMRR_ENTRIES (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/
H A Dconfig.h78 #ifndef CONFIG_MAX_RMRR_ENTRIES
79 #define CONFIG_MAX_RMRR_ENTRIES 32 macro
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Dacpi.h77 acpi_rmrr_entry_t entries[CONFIG_MAX_RMRR_ENTRIES];
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dacpi.c525 if (rmrr_count == CONFIG_MAX_RMRR_ENTRIES) {

Completed in 43 milliseconds