Symbol: devpath_hdr
sbin/efi/devpath.c
81
devpath_hdr(dp, dbg);
sbin/efi/devpath.h
122
devpath_hdr(dp, dbg);