Correctly checking eventfd function return value
Correctly checking eventfd function return value

Change-Id: I040c17dfc48f5829f07bec68c0b1fc5a351602c4
Signed-off-by: TanelDettenborn <b78e06a93b55ca1de0e9b602be506ea7b7368e0f@intel.com>

Open-TEE/tee-engine