Searched refs:drhu_list (Results 1 – 10 of 10) sorted by relevance
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | boot_sys.h | 20 paddr_t drhu_list[MAX_NUM_DRHU]; /* list of physical addresses of the IOMMUs */ member
|
| A D | boot.h | 37 paddr_t *drhu_list,
|
| A D | vspace.h | 42 paddr_t *drhu_list
50 paddr_t *drhu_list
|
| /seL4-master/include/plat/pc99/plat/machine/ |
| A D | acpi.h | 78 paddr_t *drhu_list,
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | boot_sys.c | 152 boot_state.drhu_list in try_boot_sys_node()
184 boot_state.drhu_list, in try_boot_sys_node()
426 boot_state.drhu_list, in try_boot_sys()
|
| A D | boot.c | 93 paddr_t *drhu_list, in init_sys_state() argument
|
| A D | vspace.c | 128 paddr_t *drhu_list) in map_kernel_window_devices() argument
174 phys = (paddr_t)drhu_list[i]; in map_kernel_window_devices()
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 205 paddr_t *drhu_list in map_kernel_window() argument
324 … if (!map_kernel_window_devices(ia32KSGlobalPT, num_ioapic, ioapic_paddrs, num_drhu, drhu_list)) { in map_kernel_window()
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | acpi.c | 418 paddr_t *drhu_list, in acpi_dmar_scan() argument
475 drhu_list[*num_drhu] = (paddr_t)reg_basel; in acpi_dmar_scan()
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 45 paddr_t *drhu_list in map_kernel_window() argument
244 if (!map_kernel_window_devices(x64KSKernelPT, num_ioapic, ioapic_paddrs, num_drhu, drhu_list)) { in map_kernel_window()
|
Completed in 15 milliseconds