VxWorksのAPI関数 ioctl()を用いることで取得できます。
以下に弊社で動作確認したプログラム例を示します。
各関数の詳細については，VxWorks関連のマニュアルをご確認ください。

プログラム例）
#include <vxworks.h>
#include <iolib.h>

unsigned long long ullSDVolChk()
{
   int                  iFd = 0;
   unsigned long long   ullBlank64 = -1;

   iFd = open("/SD", 0, O_RDONLY);

   ioctl(iFd, FIONFREE64, (int)&ullBlank64);

   close(iFd);

   return ullBlank64;
}