67 	ut_assert(dev);  in test_tee()
69 	ut_assert(!state->session);  in test_tee()
72 	ut_assert(!rc);  in test_tee()
73 	ut_assert(session == state->session);  in test_tee()
76 	ut_assert(!rc);  in test_tee()
79 	ut_assert(!rc);  in test_tee()
80 	ut_assert(!state->session);  in test_tee()
82 	ut_assert(!state->num_shms);  in test_tee()
84 	ut_assert(!rc);  in test_tee()
85 	ut_assert(state->num_shms == 1);  in test_tee()
88 	ut_assert(!rc);  in test_tee()
89 	ut_assert(state->num_shms == 2);  in test_tee()
91 	ut_assert(tee_shm_is_registered(vars->reg_shm, dev));  in test_tee()
92 	ut_assert(tee_shm_is_registered(vars->alloc_shm, dev));  in test_tee()
98 	ut_assert(!state->num_shms);  in test_tee()