digraph G {
  center=true;
  ratio=compress;
  rankdir="TB";
  page="8.5,11";
  orientation="portrait";
  size="6,10";
  v9fs_sock_recv [ fillcolor="#FFFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_sock_recv" ]; 
  v9fs_mux_rpc [ fillcolor="#660000" fontcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_mux_rpc" ]; 
  v9fs_mux_rpc -> v9fs_t_flush /* fs/9p/mux.c 291 1 */ [minlen=15 style="setlinewidth(1)" arrowsize=0 color="red" label="1" fontcolor="red" fontsize=150 fontname="Arial" ]; 
  v9fs_mux_rpc [ fillcolor="#660000" fontcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_mux_rpc" ]; 
  v9fs_mux_rpc -> v9fs_send [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_mux_rpc [ fillcolor="#660000" fontcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_mux_rpc" ]; 
  v9fs_unix_init [ fillcolor="#FFFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_unix_init" ]; 
  xread [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="xread" ]; 
  xread -> v9fs_fd_recv [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  xread [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="xread" ]; 
  xread -> v9fs_sock_recv [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  xread [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="xread" ]; 
  v9fs_serialize_fcall [ fillcolor="#FFFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_serialize_fcall" ]; 
  v9fs_send [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_send" ]; 
  v9fs_send -> v9fs_fd_send [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_send [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_send" ]; 
  v9fs_send -> v9fs_serialize_fcall [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_send [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_send" ]; 
  v9fs_fid_create [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_fid_create" ]; 
  v9fs_fid_create -> v9fs_fid_insert [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_fid_create [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_fid_create" ]; 
  v9fs_tcp_init [ fillcolor="#FFFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_tcp_init" ]; 
  v9fs_deserialize_fcall [ fillcolor="#FFFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_deserialize_fcall" ]; 
  v9fs_fd_init [ fillcolor="#FFFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_fd_init" ]; 
  v9fs_t_remove [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_remove" ]; 
  v9fs_t_remove -> v9fs_mux_rpc [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_t_remove [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_remove" ]; 
  v9fs_fd_send [ fillcolor="#FFFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_fd_send" ]; 
  v9fs_vfs_follow_link [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_follow_link" ]; 
  v9fs_vfs_follow_link -> v9fs_readlink [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_follow_link [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_follow_link" ]; 
  v9fs_t_flush [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_flush" ]; 
  v9fs_t_flush -> v9fs_mux_rpc [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_t_flush [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_flush" ]; 
  v9fs_file_read [ fillcolor="#FFFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_file_read" ]; 
  v9fs_file_read -> v9fs_t_read [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_file_read [ fillcolor="#FFFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_file_read" ]; 
  v9fs_recvproc [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_recvproc" ]; 
  v9fs_recvproc -> read_message [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_recvproc [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_recvproc" ]; 
  v9fs_vfs_lookup [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_lookup" ]; 
  v9fs_vfs_lookup [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_lookup" ]; 
  v9fs_vfs_lookup -> v9fs_t_stat [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_lookup [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_lookup" ]; 
  v9fs_vfs_lookup -> v9fs_t_walk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_lookup [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_lookup" ]; 
  v9fs_vfs_setattr [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_setattr" ]; 
  v9fs_vfs_setattr -> v9fs_t_wstat [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_setattr [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_setattr" ]; 
  v9fs_vfs_link [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_link" ]; 
  v9fs_vfs_link -> v9fs_t_clunk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_link [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_link" ]; 
  v9fs_vfs_link -> v9fs_t_wstat [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_link [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_link" ]; 
  v9fs_vfs_link -> v9fs_create [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_link [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_link" ]; 
  v9fs_vfs_readlink [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_readlink" ]; 
  v9fs_vfs_readlink -> v9fs_readlink [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_readlink [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_readlink" ]; 
  v9fs_fid_insert [ fillcolor="#FFFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_fid_insert" ]; 
  v9fs_t_create [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_create" ]; 
  v9fs_t_create -> v9fs_mux_rpc [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_t_create [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_create" ]; 
  v9fs_t_wstat [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_wstat" ]; 
  v9fs_t_wstat -> v9fs_mux_rpc [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_t_wstat [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_wstat" ]; 
  v9fs_fd_recv [ fillcolor="#FFFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_fd_recv" ]; 
  v9fs_readlink [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_readlink" ]; 
  v9fs_readlink -> v9fs_t_stat [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_readlink [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_readlink" ]; 
  v9fs_dentry_release [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_dentry_release" ]; 
  v9fs_dentry_release -> v9fs_t_clunk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_dentry_release [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_dentry_release" ]; 
  v9fs_t_open [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_open" ]; 
  v9fs_t_open -> v9fs_mux_rpc [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_t_open [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_open" ]; 
  v9fs_t_walk [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_walk" ]; 
  v9fs_t_walk -> v9fs_mux_rpc [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_t_walk [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_walk" ]; 
  v9fs_get_sb [ fillcolor="#660000" fontcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_get_sb" ]; 
  v9fs_get_sb [ fillcolor="#660000" fontcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_get_sb" ]; 
  v9fs_get_sb -> v9fs_t_clunk /* fs/9p/vfs_super.c 160 2 */ [minlen=15 style="setlinewidth(1)" arrowsize=0 color="red" label="2" fontcolor="red" fontsize=150 fontname="Arial" ]; 
  v9fs_get_sb [ fillcolor="#660000" fontcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_get_sb" ]; 
  v9fs_get_sb -> v9fs_t_stat [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_get_sb [ fillcolor="#660000" fontcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_get_sb" ]; 
  v9fs_get_sb -> v9fs_session_init [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_get_sb [ fillcolor="#660000" fontcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_get_sb" ]; 
  v9fs_remove [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_remove" ]; 
  v9fs_remove -> v9fs_t_remove [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_remove [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_remove" ]; 
  v9fs_fid_walk_up [ fillcolor="#660000" fontcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_fid_walk_up" ]; 
  v9fs_fid_walk_up -> v9fs_t_clunk /* fs/9p/fid.c 167 3 */ [minlen=15 style="setlinewidth(1)" arrowsize=0 color="red" label="3" fontcolor="red" fontsize=150 fontname="Arial" ]; 
  v9fs_fid_walk_up [ fillcolor="#660000" fontcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_fid_walk_up" ]; 
  v9fs_fid_walk_up [ fillcolor="#660000" fontcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_fid_walk_up" ]; 
  v9fs_fid_walk_up -> v9fs_t_walk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_fid_walk_up [ fillcolor="#660000" fontcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_fid_walk_up" ]; 
  v9fs_vfs_symlink [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_symlink" ]; 
  v9fs_vfs_symlink -> v9fs_t_clunk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_symlink [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_symlink" ]; 
  v9fs_vfs_symlink -> v9fs_t_wstat [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_symlink [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_symlink" ]; 
  v9fs_vfs_symlink -> v9fs_create [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_symlink [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_symlink" ]; 
  v9fs_session_init [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_session_init" ]; 
  v9fs_session_init -> v9fs_t_clunk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_session_init [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_session_init" ]; 
  v9fs_session_init -> v9fs_t_attach [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_session_init [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_session_init" ]; 
  v9fs_session_init -> v9fs_t_version [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_session_init [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_session_init" ]; 
  v9fs_session_init -> v9fs_t_version [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_session_init [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_session_init" ]; 
  v9fs_vfs_getattr [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_getattr" ]; 
  v9fs_vfs_getattr -> v9fs_t_stat [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_getattr [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_getattr" ]; 
  v9fs_vfs_unlink [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_unlink" ]; 
  v9fs_vfs_unlink -> v9fs_remove [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_unlink [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_unlink" ]; 
  v9fs_vfs_create [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_create" ]; 
  v9fs_vfs_create -> v9fs_create [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_create [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_create" ]; 
  v9fs_create [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_create" ]; 
  v9fs_create -> v9fs_t_clunk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_create [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_create" ]; 
  v9fs_create -> v9fs_t_clunk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_create [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_create" ]; 
  v9fs_create -> v9fs_t_clunk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_create [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_create" ]; 
  v9fs_create -> v9fs_t_stat [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_create [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_create" ]; 
  v9fs_create -> v9fs_t_clunk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_create [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_create" ]; 
  v9fs_create [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_create" ]; 
  v9fs_create -> v9fs_t_walk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_create [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_create" ]; 
  v9fs_create [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_create" ]; 
  v9fs_create -> v9fs_t_create [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_create [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_create" ]; 
  v9fs_create -> v9fs_t_walk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_create [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_create" ]; 
  v9fs_t_version [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_version" ]; 
  v9fs_t_version -> v9fs_mux_rpc [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_t_version [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_version" ]; 
  v9fs_vfs_mkdir [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_mkdir" ]; 
  v9fs_vfs_mkdir -> v9fs_create [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_mkdir [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_mkdir" ]; 
  v9fs_vfs_rmdir [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_rmdir" ]; 
  v9fs_vfs_rmdir -> v9fs_remove [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_rmdir [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_rmdir" ]; 
  v9fs_vfs_rename [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_rename" ]; 
  v9fs_vfs_rename -> v9fs_t_wstat [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_rename [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_rename" ]; 
  v9fs_t_read [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_read" ]; 
  v9fs_t_read -> v9fs_mux_rpc [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_t_read [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_read" ]; 
  v9fs_dir_release [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_dir_release" ]; 
  v9fs_dir_release -> v9fs_t_clunk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_dir_release [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_dir_release" ]; 
  v9fs_dir_readdir [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_dir_readdir" ]; 
  v9fs_dir_readdir -> v9fs_t_read [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_dir_readdir [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_dir_readdir" ]; 
  v9fs_t_write [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_write" ]; 
  v9fs_t_write -> v9fs_mux_rpc [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_t_write [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_write" ]; 
  v9fs_t_stat [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_stat" ]; 
  v9fs_t_stat -> v9fs_mux_rpc [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_t_stat [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_stat" ]; 
  read_message [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="read_message" ]; 
  read_message -> v9fs_deserialize_fcall [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  read_message [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="read_message" ]; 
  read_message -> xread [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  read_message [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="read_message" ]; 
  read_message -> xread [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  read_message [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="read_message" ]; 
  v9fs_file_write [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_file_write" ]; 
  v9fs_file_write -> v9fs_t_write [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_file_write [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_file_write" ]; 
  v9fs_file_open [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_file_open" ]; 
  v9fs_file_open -> v9fs_t_open [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_file_open [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_file_open" ]; 
  v9fs_file_open -> v9fs_t_walk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_file_open [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_file_open" ]; 
  v9fs_t_attach [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_attach" ]; 
  v9fs_t_attach -> v9fs_mux_rpc [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_t_attach [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_attach" ]; 
  v9fs_vfs_mknod [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_mknod" ]; 
  v9fs_vfs_mknod -> v9fs_t_clunk [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_mknod [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_mknod" ]; 
  v9fs_vfs_mknod -> v9fs_t_wstat [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_mknod [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_mknod" ]; 
  v9fs_vfs_mknod -> v9fs_create [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_vfs_mknod [ fillcolor="#CCFFCC" style=filled fontname="Arial" fontsize=100 label="v9fs_vfs_mknod" ]; 
  v9fs_t_clunk [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_clunk" ]; 
  v9fs_t_clunk -> v9fs_mux_rpc [minlen=15 style="setlinewidth(1)" arrowsize=0 color="black"]; 
  v9fs_t_clunk [ fillcolor="white" style=filled fontname="Arial" fontsize=100 label="v9fs_t_clunk" ]; 
}