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()
197 static inline void virt_init_memory(struct memory_map *mem_map __unused,  in virt_init_memory()
198 				    paddr_t secmem0_base __unused,  in virt_init_memory()
199 				    paddr_size_t secmem0_size __unused,  in virt_init_memory()
200 				    paddr_t secmem1_base __unused,  in virt_init_memory()
201 				    paddr_size_t secmem1_size __unused) { }  in virt_init_memory()
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()
216 virt_next_guest(struct guest_partition *prtn __unused)  in virt_next_guest()
220 static inline void virt_put_guest(struct guest_partition *prtn __unused) { }  in virt_put_guest()
222 virt_add_guest_spec_data(unsigned int *data_id __unused,  in virt_add_guest_spec_data()
223 			 size_t data_size __unused,  in virt_add_guest_spec_data()
230 virt_get_guest_spec_data(struct guest_partition *prtn __unused,  in virt_get_guest_spec_data()
231 			 unsigned int data_id __unused)  in virt_get_guest_spec_data()
248 virt_add_cookie_to_current_guest(uint64_t cookie __unused)  in virt_add_cookie_to_current_guest()
250 static inline void virt_remove_cookie(uint64_t cookie __unused) { }  in virt_remove_cookie()
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()
256 					 uint64_t cookie __unused)  in virt_reclaim_cookie_from_destroyed_guest()