warhol (Xiaomi 17T Pro): source missing for 28 GPL-licensed kernel modules

Thank you for publishing the bsp-warhol-w-oss branches of MTK_kernel_device_modules and MTK_kernel_modules.

Comparing those branches with the kernel modules that ship on the device, 28 modules have no source in either branch. Each one declares MODULE_LICENSE("GPL") or MODULE_LICENSE("GPL v2") in its own .modinfo, so under GPLv2 section 3 their corresponding source should be available as well.

Device: Xiaomi 17T Pro (warhol), model 2602EPTC0G
Firmware: OS3.0.310.0.WPSMIXM (Android 16)
Kernel: 6.12.38-android16-5-g1d46253471dd-ab15048002-4k

Modules (file, where it ships, declared license):

• binder_gki.ko (vendor_dlkm, GPL)
• binder_prio.ko (vendor_dlkm, GPL)
• crash_module.ko (vendor_boot, GPL v2)
• dynamic_readahead.ko (vendor_boot, GPL v2)
• io_monitor.ko (vendor_boot, GPL v2)
• iorap2.ko (vendor_dlkm, GPL v2)
• kshrink_slabd.ko (vendor_boot and vendor_dlkm, GPL v2)
• metis.ko (vendor_dlkm, GPL)
• mi_mem_epoll.ko (vendor_dlkm, GPL)
• mi_memory.ko (vendor_boot, GPL)
• mi_mempool.ko (vendor_dlkm, GPL)
• mi_schedule.ko (vendor_dlkm, GPL)
• mi_thermal_interface.ko (vendor_dlkm, GPL v2)
• mi_unfairmem.ko (vendor_dlkm, GPL)
• miev.ko (vendor_boot, GPL)
• migt.ko (vendor_dlkm, GPL)
• millet_binder.ko (vendor_dlkm, GPL)
• millet_core.ko (vendor_dlkm, GPL)
• millet_hs.ko (vendor_dlkm, GPL)
• millet_oem_cgroup.ko (vendor_dlkm, GPL)
• millet_pkg.ko (vendor_dlkm, GPL)
• millet_sig.ko (vendor_dlkm, GPL)
• perf_helper.ko (vendor_boot and vendor_dlkm, GPL)
• powersave.ko (vendor_dlkm, GPL)
• simtray.ko (vendor_boot and vendor_dlkm, GPL)
• sla.ko (vendor_dlkm, GPL v2)
• xiaomi_spi_tee.ko (vendor_dlkm, GPL)
• xm_power.ko (vendor_dlkm, GPL)

Could you please publish the source for these modules, matching the version shipped in OS3.0.310.0.WPSMIXM, together with the Kbuild/Makefile/BUILD.bazel entries and headers needed to build them? Adding them to the existing bsp-warhol-w-oss branches would be ideal.

How this was checked: every .ko in the vendor_boot ramdisk and in vendor_dlkm was matched by name against the Kbuild, Makefile and Bazel files and the source file names in both branches. These 28 have no match. For miev, only the header include/miev/mievent.h is present, not the driver.

Thank you.

Compara las ramas bsp-warhol-w-oss con los módulos indicados incluidos en vendor_boot y vendor_dlkm. Empieza revisando los archivos Kbuild, Makefile y BUILD.bazel existentes, así como los headers, incluido include/miev/mievent.h. Se considera completado cuando el código fuente correspondiente, las entradas de compilación y los headers necesarios estén publicados para OS3.0.310.0.WPSMIXM.