2c2
< * Copyright (c) 2012 ARM Limited
---
> * Copyright (c) 2012-2013 ARM Limited
164a165
> int cmd = pkt->cmdToIndex();
196,198c197,199
< pkt_msg.set_cmd(pkt->cmdToIndex());
< pkt_msg.set_addr(pkt->getAddr());
< pkt_msg.set_size(pkt->getSize());
---
> pkt_msg.set_cmd(cmd);
> pkt_msg.set_addr(addr);
> pkt_msg.set_size(size);