T156: acpi: properly set vtd_enabled
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 20 Aug 2015 16:09:43 +0000 (18:09 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 20 Aug 2015 16:09:43 +0000 (18:09 +0200)
commit163ae23fb5a94f03093da3bb811cbfacedd4109c
tree3a59fafc141c22c4768114516b7abe75c770895d
parent6844aeea354ecbd0445b7bca4892b6d33077a228
T156: acpi: properly set vtd_enabled

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
usr/acpi/acpi.c
usr/acpi/acpi_main.c
usr/acpi/acpi_shared.h
usr/acpi/intel_vtd.c