vector_width      288 arch/x86/kernel/tboot.c 	tboot->acpi_sinfo.vector_width = 32;
vector_width       57 include/linux/tboot.h 	u32 vector_width;