518 	u64 pn = mdesc_node_by_name(hp, MDESC_NODE_NULL, "platform");  in report_platform_properties()  local
522 	if (pn == MDESC_NODE_NULL) {  in report_platform_properties()
527 	s = mdesc_get_property(hp, pn, "banner-name", NULL);  in report_platform_properties()
529 	s = mdesc_get_property(hp, pn, "name", NULL);  in report_platform_properties()
532 	v = mdesc_get_property(hp, pn, "hostid", NULL);  in report_platform_properties()
535 	v = mdesc_get_property(hp, pn, "serial#", NULL);  in report_platform_properties()
538 	v = mdesc_get_property(hp, pn, "stick-frequency", NULL);  in report_platform_properties()
540 	v = mdesc_get_property(hp, pn, "mac-address", NULL);  in report_platform_properties()
543 	v = mdesc_get_property(hp, pn, "watchdog-resolution", NULL);  in report_platform_properties()
546 	v = mdesc_get_property(hp, pn, "watchdog-max-timeout", NULL);  in report_platform_properties()
549 	v = mdesc_get_property(hp, pn, "max-cpus", NULL);  in report_platform_properties()