1 2 3 4
#include "trace-graph.h" void insert_vtask(struct graph_info *ginfo, struct cont_list *cont, struct vcpu_list *vcpu_info);