Searched refs:device_path_instance_size (Results 1 – 2 of 2) sorted by relevance
141 efi_uintn_t *device_path_instance_size) in get_next_device_path_instance() argument143 EFI_ENTRY("%pD, %p", device_path_instance, device_path_instance_size); in get_next_device_path_instance()145 device_path_instance_size)); in get_next_device_path_instance()
727 efi_uintn_t *device_path_instance_size);