// ========== Copyright Header Begin ==========================================
// OpenSPARC T2 Processor File: dev_registry.cc
// Copyright (c) 2006 Sun Microsystems, Inc. All Rights Reserved.
// DO NOT ALTER OR REMOVE COPYRIGHT NOTICES.
// The above named program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public
// License version 2 as published by the Free Software Foundation.
// The above named program is distributed in the hope that it will be
// useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
// General Public License for more details.
// You should have received a copy of the GNU General Public
// License along with this work; if not, write to the Free Software
// Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
// ========== Copyright Header End ============================================
devRegistry::devRegistry(){
assert(pthread_mutex_init(&handleMutex
,NULL
)==0);
devRegistry::~devRegistry(){}
// get the name of the device with id 'handle'
const char * devRegistry::getName (SAM_DeviceId handle
) {
Module
* m
= (ri
!= r
.end()) ? ri
->second
:0;
if(m
) return m
->getName();
// dump the device name<->trace handle mapping into file FP.
// FP can be stderr. Can be used by UI or trace dump functions.
void devRegistry::dump(FILE * fp
){
fprintf(fp
," ID DEVICE INSTANCE\n");
for( ri
= r
.begin(); ri
!= r
.end(); ri
++)
fprintf(fp
,"0x%llx %s\n",ri
->first
,ri
->second
->getName());