#ifndef _XEN_DEBUGFS_H
  #define _XEN_DEBUGFS_H
  
  struct dentry * __init xen_init_debugfs(void);
  
  #endif /* _XEN_DEBUGFS_H */