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 58dfdb389ef69e96d97c91676d01a9fd18d58d77	kernel_tls.h
100644 blob c81eac4064f8e4625e2f65a75ba41359fd28e510	ksched.h
100644 blob dfffd8d5e60aad6550378acb5ca9e82c35b37265	kswap.h
100644 blob 50981e3ecf3d79fc0539a9982bfc279da314859f	mmu.h
100644 blob 4e4125760fef85bba33d46a1d198fe30127d32a5	offsets_short.h