Symbol: devpath_media
sbin/efi/devpath.c
129
case DEVPATH_TYPE_MEDIA: devpath_media(dp, path, dbg); return; /* Type 4 */
sbin/efi/devpath4.h
33
void devpath_media(devpath_t *, devpath_elm_t *, devpath_elm_t *);