| package | filename | size | different function |
|---|---|---|---|
| linux-headers-6.12.38+deb13-common | ./usr/src/linux-headers-6.12.38+deb13-common/include/linux/livepatch_sched.h | 802 B | |
| linux-headers-6.12.38+deb13-common-rt | ./usr/src/linux-headers-6.12.38+deb13-common-rt/include/linux/livepatch_sched.h | 802 B |