This is a work-around for SMP support. 26/27126/1
authoryucheng yu <yu-cheng.yu@intel.com>
Fri, 5 Sep 2014 00:15:10 +0000 (17:15 -0700)
committeryucheng yu <yu-cheng.yu@intel.com>
Fri, 5 Sep 2014 00:18:23 +0000 (17:18 -0700)
commitdb35ee39549eb8ce3b881614668267a8d1c14978
treed8acb51d82e6c69d25a406b09372b1e18b5d841d
parentdacd54fe8bf31d6d8f28284a3b36059a2ca42cab
This is a work-around for SMP support.

Change-Id: I4230f1d029833ffc42940003c09499a64cf46500
target-i386/hax-all.c