# CONFIG_UIO_HV_GENERIC is not set
