TGTPKT2VHCIPKT
struct vhci_pkt *vpkt = TGTPKT2VHCIPKT(pkt);
new_vpkt = TGTPKT2VHCIPKT(new_pkt);
new_vpkt = TGTPKT2VHCIPKT(pkt);