tboot.h   11 arch/x86/kernel/reboot.c #include <linux/tboot.h>
tboot.h   72 arch/x86/kernel/setup.c #include <linux/tboot.h>
tboot.h   53 arch/x86/kernel/smpboot.c #include <linux/tboot.h>
tboot.h   20 arch/x86/kernel/tboot.c #include <linux/tboot.h>
tboot.h   28 arch/x86/kvm/vmx/vmx.c #include <linux/tboot.h>
tboot.h   14 arch/x86/power/cpu.c #include <linux/tboot.h>
tboot.h   26 drivers/iommu/dmar.c #include <linux/tboot.h>
tboot.h   36 drivers/iommu/intel-iommu.c #include <linux/tboot.h>