create_sys_controller_pathname
static char *create_sys_controller_pathname(picl_nodehdl_t sysconh);
((sc_device_name = create_sys_controller_pathname(sc_nodeh)) ==