100644 blob 1f8fa228e0397331fdc2813c3d07ceb0b9281a10	arch_ops.h
100644 blob ec7a35e18269ead9ebaf9908e8537edc8fefe37d	arch_thread.h
100644 blob 0b62c130f60c0eec1c2f90d09adc94646b82fa83	asm_macros.h
100644 blob fd435870445f976e863680d9d0a24ed0e228f728	aspace.h
100644 blob 1e8bdb802b3d21eff33b000aca12eee26d60f21f	current_thread.h
100644 blob c88ef40e142fa5b1ca3ddae701483f68a6bae4bb	defines.h
100644 blob f9a0f4875e9ba6081fe81a0ce6b6922c7117abca	hypervisor.h
100644 blob d0cd2f3ccf9d19c888f75f487e26338b22666170	spinlock.h
100644 blob fba467e02afb0e749f5de5fa3202a2bd3339b54e	x86.h
040000 tree 40ca84e028dcd0b1ce87bf551576ef755e62d832	x86