restore_tpl       208 include/linux/efi.h 	u32 restore_tpl;
restore_tpl       256 include/linux/efi.h 	u64 restore_tpl;
restore_tpl       307 include/linux/efi.h 	void *restore_tpl;