Searched refs:slide_info_addr (Results 1 – 1 of 1) sorted by relevance
258 user_addr_t slide_info_addr,2705 user_addr_t slide_info_addr, in vm_shared_region_slide_mapping() argument2748 error = copyin(slide_info_addr, slide_info_entry, (size_t)slide_info_size); in vm_shared_region_slide_mapping()2750 printf("copyin of slide_info (%p) failed\n", (void*)slide_info_addr); in vm_shared_region_slide_mapping()