VMMDEVREQ_WRITE_COREDUMP
case VMMDEVREQ_WRITE_COREDUMP:
req = vbg_req_alloc(sizeof(*req), VMMDEVREQ_WRITE_COREDUMP,