Searched refs:free_devinfo_mem (Results 1 – 1 of 1) sorted by relevance
464 static inline void free_devinfo_mem(void *vaddr) in free_devinfo_mem() function1760 free_devinfo_mem(info); in domain_remove_dev_info()1878 free_devinfo_mem(info); in get_domain_for_dev()1906 free_devinfo_mem(info); in get_domain_for_dev()2129 free_devinfo_mem(info); in domain_add_dev_info()3394 free_devinfo_mem(info); in domain_remove_one_dev_info()3463 free_devinfo_mem(info); in vm_domain_remove_all_dev_info()