100644 blob 7063a8fbd7ddca4895bede1814631bac659add7d	gen_offset.h
100644 blob 907cd6e934e6b508a7246a1da7ad8ef0e34351ec	kernel_arch_interface.h
100644 blob 702d5c512cd227ad58a8fcb5e4b325a187910644	kernel_internal.h
100644 blob 466aa20ca19fee90ca92a63382b1ec52b7c7476f	kernel_offsets.h
100644 blob b7d99950d0c07b1b7cd3c488b8a2952e2822c050	kernel_tls.h
100644 blob 20ea4616a46af737646e584b1984eb0f0f3b8926	ksched.h
100644 blob 14e293686cfd9cd12d16491502b149842f612cfe	kswap.h
100644 blob 5b62b9f1efc6b0817155f99131b6db61970a6d32	mmu.h
100644 blob 4e4125760fef85bba33d46a1d198fe30127d32a5	offsets_short.h