session_token    5059 drivers/net/ethernet/ibm/ibmvnic.c 	__be64 session_token;
session_token    5073 drivers/net/ethernet/ibm/ibmvnic.c 	session_token = (__be64)retbuf[0];
session_token    5075 drivers/net/ethernet/ibm/ibmvnic.c 		   be64_to_cpu(session_token));
session_token    5077 drivers/net/ethernet/ibm/ibmvnic.c 				H_SESSION_ERR_DETECTED, session_token, 0, 0);