This is from piCore64, but you should see something similar when v4l-dvb-KERNEL loads: $ lsmod
Module Size Used by Tainted: G
bcm2835_isp 32768 0
bcm2835_codec 49152 0
bcm2835_v4l2 45056 0
bcm2835_mmal_vchiq 40960 3 bcm2835_codec,bcm2835_isp,bcm2835_v4l2
videobuf2_vmalloc 20480 1 bcm2835_v4l2
rpivid_hevc 49152 0
v4l2_mem2mem 40960 2 bcm2835_codec,rpivid_hevc
videobuf2_v4l2 32768 5 bcm2835_codec,bcm2835_isp,bcm2835_v4l2,rpivid_hevc,v4l2_mem2mem
videobuf2_common 61440 6 bcm2835_codec,bcm2835_isp,bcm2835_v4l2,rpivid_hevc,v4l2_mem2mem,videobuf2_v4l2
videodev 311296 7 bcm2835_codec,bcm2835_isp,bcm2835_v4l2,rpivid_hevc,v4l2_mem2mem,videobuf2_v4l2,videobuf2_common
mc 61440 7 bcm2835_codec,bcm2835_isp,rpivid_hevc,v4l2_mem2mem,videobuf2_v4l2,videobuf2_common,videodev
videobuf2_dma_contig 24576 3 bcm2835_codec,bcm2835_isp,rpivid_hevc
videobuf2_memops 20480 2 videobuf2_vmalloc,videobuf2_dma_contig
snd_soc_hdmi_codec 20480 2
snd_bcm2835 28672 0
vc_sm_cma 36864 2 bcm2835_isp,bcm2835_mmal_vchiq
v3d 81920 4
gpu_sched 45056 1 v3d
vc4 282624 10
cec 53248 1 vc4
...