legion/src/procs/sunsparc/include/ss_hwtw.h

/*
* ========== Copyright Header Begin ==========================================
*
* OpenSPARC T2 Processor File: ss_hwtw.h
* 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 ============================================
*/
/*
 * Copyright 2006 Sun Microsystems, Inc.  All rights reserved.
 * Use is subject to license terms.
 */

#ifndef _SS_HWTW_H
#define _SS_HWTW_H

#pragma ident   "@(#)ss_hwtw.h  1.1     06/09/07 SMI"

#ifdef  __cplusplus
extern "C" {
#endif

#ifdef HW_TABLEWALK
extern ss_trap_type_t ss_hardware_tablewalk(simcpu_t *, ss_mmu_t *,
        ss_tlb_t *, tvaddr_t, uint_t, uint_t *, uint64_t *);
extern uint8_t *ss_make_tsb_pointer_int(tvaddr_t, ss_tsb_info_t *);
extern uint8_t *ss_hwtw_find_base(simcpu_t *, ss_tsb_info_t *);
extern bool_t ss_hwtw_convert_ra_to_pa(tvaddr_t, tvaddr_t *, ss_strand_t *,
        uint_t);
#endif /* HW_TABLEWALK */

#ifdef  __cplusplus
}
#endif

#endif /* _SS_HWTW_H */