LDMA_HDR2DATA
path_type = (uint32_t *)(LDMA_HDR2DATA(reply));
(void) strncpy(nic, LDMA_HDR2DATA(request), nlen);
(void) strncpy(path, LDMA_HDR2DATA(request), plen);
data = LDMA_HDR2DATA(reply);
data = LDMA_HDR2DATA(reply);
data = LDMA_HDR2DATA(reply);
data = LDMA_HDR2DATA(buf);