Symbol: update_property
usr/src/uts/common/io/wscons.c
1557
update_property(pvc, "screen-#cols", c);
usr/src/uts/common/io/wscons.c
1558
update_property(pvc, "screen-#rows", r);
usr/src/uts/common/io/wscons.c
1559
update_property(pvc, "screen-width", x);
usr/src/uts/common/io/wscons.c
1560
update_property(pvc, "screen-height", y);