OP-TEE queries