sun4v_display_cpu_devices
sun4v_display_cpu_devices(plafh);
void sun4v_display_cpu_devices(picl_nodehdl_t plafh);