Searched refs:num_drhu (Results 1 - 12 of 12) sorted by relevance
/seL4-camkes-master/kernel/include/plat/pc99/plat/machine/ |
H A D | intel-vtd.h | 19 bool_t vtd_init_num_iopts(uint32_t num_drhu);
|
H A D | acpi.h | 79 uint32_t *num_drhu,
|
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | boot_sys.h | 19 uint32_t num_drhu; /* number of IOMMUs */ member in struct:boot_state
|
H A D | boot.h | 36 uint32_t num_drhu,
|
H A D | vspace.h | 41 uint32_t num_drhu, 49 uint32_t num_drhu,
|
/seL4-camkes-master/kernel/src/plat/pc99/machine/ |
H A D | acpi.c | 419 uint32_t *num_drhu, 441 *num_drhu = 0; 460 if (*num_drhu == max_drhu_list_len) { 463 *num_drhu = 0; /* report zero IOMMUs */ 472 *num_drhu = 0; /* report zero IOMMUs */ 475 drhu_list[*num_drhu] = (paddr_t)reg_basel; 476 (*num_drhu)++; 485 *num_drhu = 0; 495 *num_drhu = 0; /* report zero IOMMUs */ 502 *num_drhu 416 acpi_dmar_scan( acpi_rsdp_t *acpi_rsdp, paddr_t *drhu_list, uint32_t *num_drhu, uint32_t max_drhu_list_len, acpi_rmrr_list_t *rmrr_list ) argument [all...] |
H A D | intel-vtd.c | 460 BOOT_CODE bool_t vtd_init_num_iopts(uint32_t num_drhu) argument 462 x86KSnumDrhu = num_drhu;
|
/seL4-camkes-master/kernel/src/arch/x86/kernel/ |
H A D | boot_sys.c | 153 boot_state.num_drhu, 185 boot_state.num_drhu, 423 boot_state.num_drhu = 0; 429 &boot_state.num_drhu,
|
H A D | boot.c | 104 uint32_t num_drhu, 162 if (!vtd_init_num_iopts(num_drhu)) { 98 init_sys_state( cpu_id_t cpu_id, mem_p_regs_t *mem_p_regs, ui_info_t ui_info, p_region_t boot_mem_reuse_p_reg, uint32_t num_drhu, paddr_t *drhu_list, acpi_rmrr_list_t *rmrr_list, acpi_rsdp_t *acpi_rsdp, seL4_X86_BootInfo_VBE *vbe, seL4_X86_BootInfo_mmap_t *mb_mmap, seL4_X86_BootInfo_fb_t *fb_info ) argument
|
H A D | vspace.c | 127 BOOT_CODE bool_t map_kernel_window_devices(pte_t *pt, uint32_t num_ioapic, paddr_t *ioapic_paddrs, uint32_t num_drhu, argument 173 for (i = 0; i < num_drhu; i++) {
|
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 204 uint32_t num_drhu, 324 if (!map_kernel_window_devices(ia32KSGlobalPT, num_ioapic, ioapic_paddrs, num_drhu, drhu_list)) { 201 map_kernel_window( uint32_t num_ioapic, paddr_t *ioapic_paddrs, uint32_t num_drhu, paddr_t *drhu_list ) argument
|
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 44 uint32_t num_drhu, 244 if (!map_kernel_window_devices(x64KSKernelPT, num_ioapic, ioapic_paddrs, num_drhu, drhu_list)) { 41 map_kernel_window( uint32_t num_ioapic, paddr_t *ioapic_paddrs, uint32_t num_drhu, paddr_t *drhu_list ) argument
|
Completed in 67 milliseconds