soc/mediatek: Correct value's data type to u8 in dptx
[coreboot2.git] / src / mainboard / dell / snb_ivb_latitude / acpi / superio.asl
blob55b1db5b11373713b55d3af8e3c3a74219a67558
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <drivers/pc80/pc/ps2_controller.asl>