100644 blob 7063a8fbd7ddca4895bede1814631bac659add7d	gen_offset.h
100644 blob 4b772d024b7d78ed69a65e7980bfdfb4cc45bfb5	kernel_arch_interface.h
100644 blob 0eaffbfa1618805929aad31c7ffc21327064b1cd	kernel_internal.h
100644 blob 8b864fad1f7d387aa8a91d915b2992f335a4b744	kernel_offsets.h
100644 blob b7d99950d0c07b1b7cd3c488b8a2952e2822c050	kernel_tls.h
100644 blob 066ab061da560d081ef80fca7625544905756f85	ksched.h
100644 blob cfc7036037e185ccbfed831e2a7b0d2883fd9f0d	kswap.h
100644 blob 50e28394b06173a8f70dccce5886b7e668824da3	mmu.h
100644 blob 4e4125760fef85bba33d46a1d198fe30127d32a5	offsets_short.h