100644 blob 46a651cf28da7bf234c2b9d3f82b132684ca733e	gen_offset.h
100644 blob b353a676d4624dbb82a17d5ce71e3d5fe6b3fed6	ipi.h
100644 blob 05629c26a5f644ccf2e021175fa9cda92ded9f30	kernel_arch_interface.h
100644 blob afc5409d20765905cd8506afbd17734a47e1dc49	kernel_internal.h
100644 blob 1d560cb602f0b720b95b7345cfb7e68bb2117387	kernel_offsets.h
100644 blob a50c1fc26a925fdb249a030c303d2c9ddc58fe1c	kernel_tls.h
100644 blob 7858282d707adf4f333b2e9aec0d4b6b8dd4bf7e	ksched.h
100644 blob 03c4a991bb08c883292e9dc9b0746115e2f1f0a5	kswap.h
100644 blob 45a1fec06a1a5954f6acbafad667002565411beb	kthread.h
100644 blob e4a9f84d334ac3c99ec7a0f6cb2be8d3e945d820	mmu.h
100644 blob c97ba15e562030507537a6b52e317d783800bdc6	offsets_short.h
100644 blob 09f86caa819f9462bcda7e64e1c0112499f1f6d3	priority_q.h
100644 blob b3c3e61cd9fc89c54ad194dbbb98c132709ff1ad	timeout_q.h
100644 blob 2203a036ad265df0c84afb2a930912266064dca0	wait_q.h