do_bsys_getprop
(void) do_bsys_getprop(NULL, propname, cpath);
(void) do_bsys_getprop(NULL, propname, &propval);
(void) do_bsys_getprop(NULL, propname, &propval);
(void) do_bsys_getprop(NULL, name, propval);
if ((do_bsys_getprop(NULL, BP_NETWORK_INTERFACE, ifname) == 0) &&
(void) do_bsys_getprop(NULL, FASTREBOOT_ONPANIC,
bops->bsys_getprop = do_bsys_getprop;
(void) do_bsys_getprop(NULL, "acpi-root-tab", &paddr);
(void) do_bsys_getprop(NULL, name, buffer);
if (do_bsys_getprop(NULL, name, propval) == -1 ||
do_bsys_getprop(NULL, "physmem", line) >= 0 &&
(void) do_bsys_getprop(NULL, "input-device", inputdev);
(void) do_bsys_getprop(NULL, "output-device",
(void) do_bsys_getprop(NULL, "console", consoledev);
if (do_bsys_getprop(NULL, MCFG_PROPNAME, ecfginfo) != -1) {
(void) do_bsys_getprop(NULL, propname, &start);
(void) do_bsys_getprop(NULL, propname, &size);
extern int do_bsys_getprop(bootops_t *, const char *, void *);