root/sys/compat/linuxkpi/common/src/linuxkpi_hdmikmod.c
/* Public domain. */

#include <sys/param.h>
#include <sys/module.h>

MODULE_VERSION(linuxkpi_hdmi, 1);
MODULE_DEPEND(linuxkpi_hdmi, linuxkpi, 1, 1, 1);