debuggers.hg

changeset 21967:eea7a2d7efab

merge
author Stefano Stabellini <sstabellini@xensource.com>
date Wed Aug 04 15:58:10 2010 +0100 (2010-08-04)
parents 20540b8fe4b6 624c5fdf0284
children 756d770ef599
files
line diff
     1.1 --- a/tools/libxc/xc_private.c	Wed Aug 04 14:43:46 2010 +0100
     1.2 +++ b/tools/libxc/xc_private.c	Wed Aug 04 15:58:10 2010 +0100
     1.3 @@ -57,8 +57,6 @@ xc_interface *xc_interface_open(xentooll
     1.4      return 0;
     1.5  }
     1.6  
     1.7 -static void xc_clean_hcall_buf(void);
     1.8 -
     1.9  int xc_interface_close(xc_interface *xch)
    1.10  {
    1.11      int rc = 0;
    1.12 @@ -70,9 +68,6 @@ int xc_interface_close(xc_interface *xch
    1.13          rc = xc_interface_close_core(xch, xch->fd);
    1.14          if (rc) PERROR("Could not close hypervisor interface");
    1.15      }
    1.16 -
    1.17 -    xc_clean_hcall_buf();
    1.18 -
    1.19      free(xch);
    1.20      return rc;
    1.21  }
    1.22 @@ -185,8 +180,6 @@ void unlock_pages(void *addr, size_t len
    1.23  int hcall_buf_prep(void **addr, size_t len) { return 0; }
    1.24  void hcall_buf_release(void **addr, size_t len) { }
    1.25  
    1.26 -static void xc_clean_hcall_buf(void) { }
    1.27 -
    1.28  #else /* !__sun__ */
    1.29  
    1.30  int lock_pages(void *addr, size_t len)
    1.31 @@ -232,14 +225,6 @@ static void _xc_clean_hcall_buf(void *m)
    1.32      pthread_setspecific(hcall_buf_pkey, NULL);
    1.33  }
    1.34  
    1.35 -static void xc_clean_hcall_buf(void)
    1.36 -{
    1.37 -    void *hcall_buf = pthread_getspecific(hcall_buf_pkey);
    1.38 -
    1.39 -    if (hcall_buf)
    1.40 -        _xc_clean_hcall_buf(hcall_buf);
    1.41 -}
    1.42 -
    1.43  static void _xc_init_hcall_buf(void)
    1.44  {
    1.45      pthread_key_create(&hcall_buf_pkey, _xc_clean_hcall_buf);