```
 /***********************************
  * Returns a Type for va_list for the target.
  * NOTE: For x86_64 this returns the type which will really be used for
  * passing an argument of type va_list.
  */
```