The following patch fixes a typo in vlapic_domain inside vlapic.h. I also found an related error in vlapic.c file, which is fixed by this patch too. Signed-off-by: Wei Huang