-/* $OpenBSD: efiboot.c,v 1.48 2023/05/12 16:43:00 kettenis Exp $ */
+/* $OpenBSD: efiboot.c,v 1.49 2024/02/04 18:44:23 kettenis Exp $ */
/*
* Copyright (c) 2015 YASUOKA Masahiko <yasuoka@yasuoka.net>
fdt_node_is_compatible(node, "rockchip,rk3588") ||
fdt_node_is_compatible(node, "rockchip,rk3588s"))
dma_constraint[1] = htobe64(0xffffffff);
+ if (fdt_node_is_compatible(node, "lenovo,thinkpad-x13s"))
+ dma_constraint[1] = htobe64(0xffffffff);
/* Pass DMA constraint. */
node = fdt_find_node("/chosen");