K 10 svn:author V 3 imp K 8 svn:date V 27 2019-06-04T18:36:07.605542Z K 7 svn:log V 211 Introduce efi_devpath_same_disk This is like efi_devpath_match, but allows differing device media paths. Those just specify the partition information. Differential Revision: https://reviews.freebsd.org/D20513 END