54a55,63
> SERIALIZE_SCALAR(paddr);
> SERIALIZE_SCALAR(vaddr);
> SERIALIZE_SCALAR(size);
> SERIALIZE_SCALAR(writable);
> SERIALIZE_SCALAR(user);
> SERIALIZE_SCALAR(uncacheable);
> SERIALIZE_SCALAR(global);
> SERIALIZE_SCALAR(patBit);
> SERIALIZE_SCALAR(noExec);
59a69,77
> UNSERIALIZE_SCALAR(paddr);
> UNSERIALIZE_SCALAR(vaddr);
> UNSERIALIZE_SCALAR(size);
> UNSERIALIZE_SCALAR(writable);
> UNSERIALIZE_SCALAR(user);
> UNSERIALIZE_SCALAR(uncacheable);
> UNSERIALIZE_SCALAR(global);
> UNSERIALIZE_SCALAR(patBit);
> UNSERIALIZE_SCALAR(noExec);