pmf_get_platform
else if ((system_vendor = pmf_get_platform("system-vendor")) != NULL &&
(system_product = pmf_get_platform("system-product")) != NULL &&
p = pmf_get_platform("system-serial");
p = pmf_get_platform("bios-vendor");
p = pmf_get_platform("system-product");
hw_vendor = pmf_get_platform("board-vendor");
platform = pmf_get_platform("system-product");
pmf_get_platform("bios-date"));
manu = pmf_get_platform("board-vendor");
prod = pmf_get_platform("board-product");
vers = pmf_get_platform("board-version");
const char *datestr = pmf_get_platform("bios-date");
vendor = pmf_get_platform("system-vendor");
vendor = pmf_get_platform("system-vendor");
product = pmf_get_platform("system-product");
model = pmf_get_platform("system-product");
if (pmf_get_platform(key) == NULL)
v = pmf_get_platform(node.sysctl_name);
value = pmf_get_platform(key);
const char *pmf_get_platform(const char *);