Searched refs:num_drhu (Results 1 - 12 of 12) sorted by relevance

/seL4-camkes-master/kernel/include/plat/pc99/plat/machine/
H A Dintel-vtd.h19 bool_t vtd_init_num_iopts(uint32_t num_drhu);
H A Dacpi.h79 uint32_t *num_drhu,
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dboot_sys.h19 uint32_t num_drhu; /* number of IOMMUs */ member in struct:boot_state
H A Dboot.h36 uint32_t num_drhu,
H A Dvspace.h41 uint32_t num_drhu,
49 uint32_t num_drhu,
/seL4-camkes-master/kernel/src/plat/pc99/machine/
H A Dacpi.c419 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 Dintel-vtd.c460 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 Dboot_sys.c153 boot_state.num_drhu,
185 boot_state.num_drhu,
423 boot_state.num_drhu = 0;
429 &boot_state.num_drhu,
H A Dboot.c104 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 Dvspace.c127 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 Dvspace.c204 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 Dvspace.c44 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