Home
last modified time | relevance | path

Searched defs:rmrr_list (Results 1 – 4 of 4) sorted by relevance

/seL4-master/include/arch/x86/arch/kernel/
A Dboot_sys.h21 acpi_rmrr_list_t rmrr_list; member
/seL4-master/src/plat/pc99/machine/
A Dintel-vtd.c268 BOOT_CODE word_t vtd_get_n_paging(acpi_rmrr_list_t *rmrr_list) in vtd_get_n_paging()
371 BOOT_CODE static void vtd_create_context_table(uint8_t bus, acpi_rmrr_list_t *rmrr_list) in vtd_create_context_table()
518 BOOT_CODE bool_t vtd_init(cpu_id_t cpu_id, acpi_rmrr_list_t *rmrr_list) in vtd_init()
A Dacpi.c421 acpi_rmrr_list_t *rmrr_list in acpi_dmar_scan()
/seL4-master/src/arch/x86/kernel/
A Dboot.c94 acpi_rmrr_list_t *rmrr_list, in init_sys_state()

Completed in 8 milliseconds