100644 blob 7063a8fbd7ddca4895bede1814631bac659add7d	gen_offset.h
100644 blob 5a4d57cfae0e676c9dfb31d814f7d214d52a9aa2	kernel_arch_interface.h
100644 blob c8c3c8cd9918d12cf670bf9d969a31edc2499bc6	kernel_internal.h
100644 blob e27b84288f03abfe211a0e45f22d78fba1cf55c9	kernel_offsets.h
100644 blob b7d99950d0c07b1b7cd3c488b8a2952e2822c050	kernel_tls.h
100644 blob 0ad72901561e6d628b92925ee16399b003029703	ksched.h
100644 blob 702f3fe540177988209343111e8a1e19295f788f	kswap.h
100644 blob ce39859de777a6b5c5da0fc73e1c8d0270467013	mmu.h
100644 blob 4e4125760fef85bba33d46a1d198fe30127d32a5	offsets_short.h