remove unneeded device.h include
authorjsg <jsg@openbsd.org>
Mon, 14 Oct 2024 10:08:13 +0000 (10:08 +0000)
committerjsg <jsg@openbsd.org>
Mon, 14 Oct 2024 10:08:13 +0000 (10:08 +0000)
commitd93766d5c0c194345cb87d4641a13d3883a0cb49
treee42bd6ecd5fa46285e0a7f0da54126975b83bbd7
parentb1f183b67c8673ce612831b5a8505c5fe1fa2364
remove unneeded device.h include
sys/arch/arm64/include/intr.h
sys/arch/armv7/include/intr.h
sys/arch/riscv64/include/intr.h