num_drhu (definition) in projects: seL4-master

Searched defs:num_drhu (Results 1 – 7 of 7) sorted by relevance

/seL4-master/include/arch/x86/arch/kernel/
A D	boot_sys.h	`19 uint32_t num_drhu; /* number of IOMMUs */ member`
/seL4-master/src/arch/x86/kernel/
A D	boot.c	`92 uint32_t 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()`
/seL4-master/src/arch/x86/32/kernel/
A D	vspace.c	`204 uint32_t num_drhu, in map_kernel_window()`
/seL4-master/src/plat/pc99/machine/
A D	intel-vtd.c	`460 BOOT_CODE bool_t vtd_init_num_iopts(uint32_t num_drhu) in vtd_init_num_iopts()`
A D	acpi.c	`419 uint32_t *num_drhu, in acpi_dmar_scan()`
/seL4-master/src/arch/x86/64/kernel/
A D	vspace.c	`44 uint32_t num_drhu, in map_kernel_window()`

Completed in 33 milliseconds