100644 blob 28ffc014da2ae1e4048f5c89f330ef903dd958f3	arch_timer.h
100644 blob d5095900e4421de3a176fda8e68df37a0aa42aa3	kvm_util_arch.h
100644 blob e3acf2ae9881eab3136fc3496a4fd30632942f11	processor.h
100644 blob 16f1815ac48f870922373f42090052714e54fcaf	sbi.h
100644 blob 2de7c6a360968913a1387e83091c597b1ec38854	ucall.h