Initialize waiting_for_message field of struct vcpu.

Bug: 131434148
Change-Id: Iec47a1fb1e027f9062ea0c948f36702e46be30cd
1 file changed
tree: 3d720f4b25855f3872fd2fc2a95c8859b3dc9437
  1. .gitignore
  2. AUTHORS
  3. LICENSE
  4. Makefile
  5. hf_call.S
  6. main.c