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.

将 bsp-warhol-w-oss 分支与 vendor_boot 和 vendor_dlkm 中随附的列出模块进行比较。首先检查现有的 Kbuild、Makefile、BUILD.bazel 文件和头文件，包括 include/miev/mievent.h。对于 OS3.0.310.0.WPSMIXM，匹配的源代码、构建条目和所需头文件均已发布即表示完成。