Symbol: ptov
usr/src/boot/efi/loader/main.c
591
ptov(uintptr_t x)
usr/src/boot/i386/gptzfsboot/zfsboot.c
147
ptov(uintptr_t x)
usr/src/boot/i386/loader/main.c
80
ptov(uintptr_t x)