extern void _papi_hwd_lock( int );
extern void _papi_hwd_unlock( int );