Searched refs:VbGetSystemPropertyInt (Results 1 – 7 of 7) sorted by relevance
172 int v = VbGetSystemPropertyInt(p->name); in CheckParam()193 int v = VbGetSystemPropertyInt(p->name); in PrintParam()218 int v = VbGetSystemPropertyInt(p->name); in PrintAllParams()
22 int VbGetSystemPropertyInt(const char* name);
23 VbGetSystemPropertyInt(0); in main()
525 int flags = VbGetSystemPropertyInt("vdat_flags"); in VbGetArchPropertyInt()527 return VbGetSystemPropertyInt("devsw_boot"); in VbGetArchPropertyInt()
202 if (1 == VbGetSystemPropertyInt("devsw_boot")) in VbGetCrosDebug()446 int VbGetSystemPropertyInt(const char* name) { in VbGetSystemPropertyInt() function
739 int flags = VbGetSystemPropertyInt("vdat_flags"); in VbGetArchPropertyInt()741 value = VbGetSystemPropertyInt("devsw_boot"); in VbGetArchPropertyInt()