seos: use va_args pointer since va_args may not be a scalar on all platforms

Change-Id: I6e59d4e2646b78666ea4e1c4e9136d7ff7ad84a5
2 files changed
tree: 833db1c9dd0f95e9f035cbe0b8fb2e70033ed3f8
  1. firmware/
  2. util/
  3. .gitignore
  4. Android.mk