2013-02-04 21:55:37 -06:00
|
|
|
/***************************************************************************
|
|
|
|
* Copyright (C) 2013 Andes Technology *
|
|
|
|
* Hsiangkai Wang <hkwang@andestech.com> *
|
|
|
|
* *
|
|
|
|
* This program is free software; you can redistribute it and/or modify *
|
|
|
|
* it under the terms of the GNU General Public License as published by *
|
|
|
|
* the Free Software Foundation; either version 2 of the License, or *
|
|
|
|
* (at your option) any later version. *
|
|
|
|
* *
|
|
|
|
* This 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 *
|
2016-05-16 15:41:00 -05:00
|
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>. *
|
2013-02-04 21:55:37 -06:00
|
|
|
***************************************************************************/
|
2015-09-21 14:07:46 -05:00
|
|
|
|
|
|
|
#ifndef OPENOCD_TARGET_NDS32_TLB_H
|
|
|
|
#define OPENOCD_TARGET_NDS32_TLB_H
|
2013-02-04 21:55:37 -06:00
|
|
|
|
|
|
|
#include "nds32.h"
|
|
|
|
|
|
|
|
enum {
|
|
|
|
PAGE_SIZE_4K = 0,
|
|
|
|
PAGE_SIZE_8K,
|
|
|
|
PAGE_SIZE_NUM,
|
|
|
|
};
|
|
|
|
|
|
|
|
struct page_table_walker_info_s {
|
|
|
|
|
2021-06-06 10:48:48 -05:00
|
|
|
uint32_t l1_offset_mask;
|
|
|
|
uint32_t l1_offset_shift;
|
|
|
|
uint32_t l2_offset_mask;
|
|
|
|
uint32_t l2_offset_shift;
|
2013-02-04 21:55:37 -06:00
|
|
|
uint32_t va_offset_mask;
|
2021-06-06 10:48:48 -05:00
|
|
|
uint32_t l1_base_mask;
|
|
|
|
uint32_t l2_base_mask;
|
2013-02-04 21:55:37 -06:00
|
|
|
uint32_t ppn_mask;
|
|
|
|
};
|
|
|
|
|
2013-09-23 03:27:03 -05:00
|
|
|
extern int nds32_probe_tlb(struct nds32 *nds32, const target_addr_t virtual_address,
|
|
|
|
target_addr_t *physical_address);
|
|
|
|
extern int nds32_walk_page_table(struct nds32 *nds32, const target_addr_t virtual_address,
|
|
|
|
target_addr_t *physical_address);
|
2013-02-04 21:55:37 -06:00
|
|
|
|
2015-09-21 14:07:46 -05:00
|
|
|
#endif /* OPENOCD_TARGET_NDS32_TLB_H */
|