print_devpath
void print_devpath(const char *label, struct pz_device *pz);
print_devpath("bootpath", &PAGE0->mem_boot);