in src/dpi/module.cc [355:371]
void HostDPI(dpi8_t* req_valid,
dpi8_t* req_opcode,
dpi8_t* req_addr,
dpi32_t* req_value,
dpi8_t req_deq,
dpi8_t resp_valid,
dpi32_t resp_value) {
HostRequest* r = new HostRequest;
*req_valid = host_device_.TryPopRequest(r, req_deq);
*req_opcode = r->opcode;
*req_addr = r->addr;
*req_value = r->value;
if (resp_valid) {
host_device_.PushResponse(resp_value);
}
delete r;
}