Home
last modified time | relevance | path

Searched refs:disable_iommu (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/x86/kernel/
A Dcmdline.c154 cmdline_opt->disable_iommu = parse_bool(cmdline, cmdline_str_disable_iommu); in cmdline_parse()
155 printf("Boot config: disable_iommu = %s\n", cmdline_opt->disable_iommu ? "true" : "false"); in cmdline_parse()
A Dboot_sys.c420 if (!config_set(CONFIG_IOMMU) || cmdline_opt.disable_iommu) { in try_boot_sys()
/seL4-master/include/arch/x86/arch/kernel/
A Dcmdline.h16 bool_t disable_iommu; member

Completed in 6 milliseconds