371 	char *pxefile_addr_str;  in do_pxe_get()  local
380 	pxefile_addr_str = from_env("pxefile_addr_r");  in do_pxe_get()
382 	if (!pxefile_addr_str)  in do_pxe_get()
385 	err = strict_strtoul(pxefile_addr_str, 16,  in do_pxe_get()
1571 	char *pxefile_addr_str;  in do_pxe_boot()  local
1576 		pxefile_addr_str = from_env("pxefile_addr_r");  in do_pxe_boot()
1577 		if (!pxefile_addr_str)  in do_pxe_boot()
1581 		pxefile_addr_str = argv[1];  in do_pxe_boot()
1586 	if (strict_strtoul(pxefile_addr_str, 16, &pxefile_addr_r) < 0) {  in do_pxe_boot()
1587 		printf("Invalid pxefile address: %s\n", pxefile_addr_str);  in do_pxe_boot()
1650 	char *pxefile_addr_str;  in do_sysboot()  local
1666 		pxefile_addr_str = from_env("pxefile_addr_r");  in do_sysboot()
1667 		if (!pxefile_addr_str)  in do_sysboot()
1670 		pxefile_addr_str = argv[4];  in do_sysboot()
1693 	if (strict_strtoul(pxefile_addr_str, 16, &pxefile_addr_r) < 0) {  in do_sysboot()
1694 		printf("Invalid pxefile address: %s\n", pxefile_addr_str);  in do_sysboot()