ssbd_spec_ctrl_to_tif  209 arch/x86/kernel/cpu/bugs.c 		tif = setguest ? ssbd_spec_ctrl_to_tif(guestval) :
ssbd_spec_ctrl_to_tif  210 arch/x86/kernel/cpu/bugs.c 				 ssbd_spec_ctrl_to_tif(hostval);