Fixed compilation error for VMI_DEBUG.

The variable `va` does not exist within this function and hence caused compilation errors when using VMI_DEBUG.