Searched refs:VbGetSystemPropertyInt (Results 1 – 7 of 7) sorted by relevance
200 int v = VbGetSystemPropertyInt(p->name); in CheckParam()221 int v = VbGetSystemPropertyInt(p->name); in PrintParam()246 result = VbGetSystemPropertyInt(p->name); in PrintAllParams()
22 int VbGetSystemPropertyInt(const char *name);
71 return VbGetSystemPropertyInt(key); in dut_get_property_int()
502 return VbGetSystemPropertyInt("devsw_boot"); in VbGetArchPropertyInt()
950 value = VbGetSystemPropertyInt("devsw_boot"); in VbGetArchPropertyInt()
442 int VbGetSystemPropertyInt(const char *name) in VbGetSystemPropertyInt() function