378 int GetVdatInt(VdatIntField field) {  in GetVdatInt()  function
443   return GetVdatInt(VDAT_INT_HEADER_VERSION);  in VbSharedDataVersion()
472     value = GetVdatInt(VDAT_INT_FW_BOOT2);  in VbGetSystemPropertyInt()
506     value = GetVdatInt(VDAT_INT_DEVSW_BOOT);  in VbGetSystemPropertyInt()
508     value = GetVdatInt(VDAT_INT_DEVSW_VIRTUAL);  in VbGetSystemPropertyInt()
510     value = GetVdatInt(VDAT_INT_RECSW_BOOT);  in VbGetSystemPropertyInt()
512     value = GetVdatInt(VDAT_INT_HW_WPSW_BOOT);  in VbGetSystemPropertyInt()
514     value = GetVdatInt(VDAT_INT_SW_WPSW_BOOT);  in VbGetSystemPropertyInt()
516     value = GetVdatInt(VDAT_INT_FLAGS);  in VbGetSystemPropertyInt()
518     value = GetVdatInt(VDAT_INT_FW_VERSION_TPM);  in VbGetSystemPropertyInt()
520     value = GetVdatInt(VDAT_INT_KERNEL_VERSION_TPM);  in VbGetSystemPropertyInt()
522     value = GetVdatInt(VDAT_INT_TRIED_FIRMWARE_B);  in VbGetSystemPropertyInt()
524     value = GetVdatInt(VDAT_INT_RECOVERY_REASON);  in VbGetSystemPropertyInt()
540     switch(GetVdatInt(VDAT_INT_KERNEL_KEY_VERIFIED)) {  in VbGetSystemPropertyString()