Searched refs:num_drhu (Results 1 – 12 of 12) sorted by relevance
| /seL4-master/src/plat/pc99/machine/ |
| A D | acpi.c | 419 uint32_t *num_drhu, in acpi_dmar_scan() argument
441 *num_drhu = 0; in acpi_dmar_scan()
460 if (*num_drhu == max_drhu_list_len) { in acpi_dmar_scan()
463 *num_drhu = 0; /* report zero IOMMUs */ in acpi_dmar_scan()
472 *num_drhu = 0; /* report zero IOMMUs */ in acpi_dmar_scan()
475 drhu_list[*num_drhu] = (paddr_t)reg_basel; in acpi_dmar_scan()
476 (*num_drhu)++; in acpi_dmar_scan()
485 *num_drhu = 0; in acpi_dmar_scan()
495 *num_drhu = 0; /* report zero IOMMUs */ in acpi_dmar_scan()
515 *num_drhu = 0; in acpi_dmar_scan()
[all …]
|
| A D | intel-vtd.c | 460 BOOT_CODE bool_t vtd_init_num_iopts(uint32_t num_drhu) in vtd_init_num_iopts() argument
462 x86KSnumDrhu = num_drhu; in vtd_init_num_iopts()
|
| /seL4-master/include/plat/pc99/plat/machine/ |
| A D | intel-vtd.h | 19 bool_t vtd_init_num_iopts(uint32_t num_drhu);
|
| A D | acpi.h | 79 uint32_t *num_drhu,
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | boot_sys.h | 19 uint32_t num_drhu; /* number of IOMMUs */ member
|
| A D | boot.h | 36 uint32_t num_drhu,
|
| A D | vspace.h | 41 uint32_t num_drhu,
49 uint32_t num_drhu,
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | boot_sys.c | 151 boot_state.num_drhu, in try_boot_sys_node()
183 boot_state.num_drhu, in try_boot_sys_node()
421 boot_state.num_drhu = 0; in try_boot_sys()
427 &boot_state.num_drhu, in try_boot_sys()
|
| A D | boot.c | 92 uint32_t num_drhu, in init_sys_state() argument
150 if (!vtd_init_num_iopts(num_drhu)) { in init_sys_state()
|
| A D | vspace.c | 127 …ap_kernel_window_devices(pte_t *pt, uint32_t num_ioapic, paddr_t *ioapic_paddrs, uint32_t num_drhu, in map_kernel_window_devices() argument
173 for (i = 0; i < num_drhu; i++) { in map_kernel_window_devices()
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 204 uint32_t num_drhu, 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/arch/x86/64/kernel/ |
| A D | vspace.c | 44 uint32_t num_drhu, 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 21 milliseconds