Symbol: devpath_acpi
sbin/efi/devpath.c
127
case DEVPATH_TYPE_ACPI: devpath_acpi(dp, path, dbg); return; /* Type 2 */
sbin/efi/devpath2.h
33
void devpath_acpi(devpath_t *, devpath_elm_t *, devpath_elm_t *);