session_termination  576 drivers/virt/vboxguest/vboxguest_core.c 					bool session_termination)
session_termination  588 drivers/virt/vboxguest/vboxguest_core.c 			    session_termination ? VBG_KERNEL_REQUEST :
session_termination  591 drivers/virt/vboxguest/vboxguest_core.c 		if (!session_termination)
session_termination  623 drivers/virt/vboxguest/vboxguest_core.c 		if (session_termination)
session_termination  678 drivers/virt/vboxguest/vboxguest_core.c 					bool session_termination)
session_termination  690 drivers/virt/vboxguest/vboxguest_core.c 			    session_termination ? VBG_KERNEL_REQUEST :
session_termination  693 drivers/virt/vboxguest/vboxguest_core.c 		if (!session_termination)
session_termination  725 drivers/virt/vboxguest/vboxguest_core.c 		if (session_termination)