185 static inline TEE_Result virt_guest_created(uint16_t guest_id __unused)  in virt_guest_created()  argument
188 static inline TEE_Result virt_guest_destroyed(uint16_t guest_id __unused)  in virt_guest_destroyed()  argument
191 static inline TEE_Result virt_set_guest(uint16_t guest_id __unused)  in virt_set_guest()  argument
197 static inline void virt_init_memory(struct memory_map *mem_map __unused,  in virt_init_memory()  argument
198 				    paddr_t secmem0_base __unused,  in virt_init_memory()  argument
199 				    paddr_size_t secmem0_size __unused,  in virt_init_memory()  argument
200 				    paddr_t secmem1_base __unused,  in virt_init_memory()  argument
201 				    paddr_size_t secmem1_size __unused) { }  in virt_init_memory()  argument
203 static inline uint16_t virt_get_guest_id(struct guest_partition *prtn __unused)  in virt_get_guest_id()  argument
211 static inline struct guest_partition *virt_get_guest(uint16_t guest_id __unused)  in virt_get_guest()  argument
216 virt_next_guest(struct guest_partition *prtn __unused)  in virt_next_guest()  argument
220 static inline void virt_put_guest(struct guest_partition *prtn __unused) { }  in virt_put_guest()  argument
222 virt_add_guest_spec_data(unsigned int *data_id __unused,  in virt_add_guest_spec_data()  argument
223 			 size_t data_size __unused,  in virt_add_guest_spec_data()  argument
224 			 void (*data_destroy)(void *data) __unused)  in virt_add_guest_spec_data()
230 virt_get_guest_spec_data(struct guest_partition *prtn __unused,  in virt_get_guest_spec_data()  argument
231 			 unsigned int data_id __unused)  in virt_get_guest_spec_data()  argument
248 virt_add_cookie_to_current_guest(uint64_t cookie __unused)  in virt_add_cookie_to_current_guest()  argument
250 static inline void virt_remove_cookie(uint64_t cookie __unused) { }  in virt_remove_cookie()  argument
251 static inline uint16_t virt_find_guest_by_cookie(uint64_t cookie __unused)  in virt_find_guest_by_cookie()  argument
255 virt_reclaim_cookie_from_destroyed_guest(uint16_t guest_id __unused,  in virt_reclaim_cookie_from_destroyed_guest()  argument
256 					 uint64_t cookie __unused)  in virt_reclaim_cookie_from_destroyed_guest()  argument