Lines Matching refs:uint16_t

29 TEE_Result virt_guest_created(uint16_t guest_id);
40 TEE_Result virt_guest_destroyed(uint16_t guest_id);
50 TEE_Result virt_set_guest(uint16_t guest_id);
98 uint16_t virt_get_current_guest_id(void);
106 uint16_t virt_get_guest_id(struct guest_partition *prtn);
145 struct guest_partition *virt_get_guest(uint16_t guest_id);
185 static inline TEE_Result virt_guest_created(uint16_t guest_id __unused)  in virt_guest_created()
188 static inline TEE_Result virt_guest_destroyed(uint16_t guest_id __unused)  in virt_guest_destroyed()
191 static inline TEE_Result virt_set_guest(uint16_t guest_id __unused)  in virt_set_guest()
202 static inline uint16_t virt_get_current_guest_id(void) { return 0; }  in virt_get_current_guest_id()
203 static inline uint16_t virt_get_guest_id(struct guest_partition *prtn __unused)  in virt_get_guest_id()
211 static inline struct guest_partition *virt_get_guest(uint16_t guest_id __unused)  in virt_get_guest()
241 uint16_t virt_find_guest_by_cookie(uint64_t cookie);
244 TEE_Result virt_reclaim_cookie_from_destroyed_guest(uint16_t guest_id,
251 static inline uint16_t virt_find_guest_by_cookie(uint64_t cookie __unused)  in virt_find_guest_by_cookie()
255 virt_reclaim_cookie_from_destroyed_guest(uint16_t guest_id __unused,  in virt_reclaim_cookie_from_destroyed_guest()