On 03/29/2012 11:23 AM, Xiao Guangrong wrote: > Do not use the last byte (bit 56 ~ bit 63) in shadow_mmio_mask, the late > patch will store vcpu id in the last byte
Bit 63 is PT64_NX_MASK.
-- error compiling committee.c: too many arguments to function