2022-06-26 23:24:07 +00:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-or-later */
|
|
|
|
|
2013-02-05 03:55:37 +00:00
|
|
|
/***************************************************************************
|
|
|
|
* Copyright (C) 2013 Andes Technology *
|
|
|
|
* Hsiangkai Wang <hkwang@andestech.com> *
|
|
|
|
***************************************************************************/
|
2015-09-21 19:07:46 +00:00
|
|
|
|
|
|
|
#ifndef OPENOCD_TARGET_NDS32_TLB_H
|
|
|
|
#define OPENOCD_TARGET_NDS32_TLB_H
|
2013-02-05 03:55:37 +00:00
|
|
|
|
|
|
|
#include "nds32.h"
|
|
|
|
|
|
|
|
enum {
|
|
|
|
PAGE_SIZE_4K = 0,
|
|
|
|
PAGE_SIZE_8K,
|
|
|
|
PAGE_SIZE_NUM,
|
|
|
|
};
|
|
|
|
|
|
|
|
struct page_table_walker_info_s {
|
|
|
|
|
2021-06-06 15:48:48 +00:00
|
|
|
uint32_t l1_offset_mask;
|
|
|
|
uint32_t l1_offset_shift;
|
|
|
|
uint32_t l2_offset_mask;
|
|
|
|
uint32_t l2_offset_shift;
|
2013-02-05 03:55:37 +00:00
|
|
|
uint32_t va_offset_mask;
|
2021-06-06 15:48:48 +00:00
|
|
|
uint32_t l1_base_mask;
|
|
|
|
uint32_t l2_base_mask;
|
2013-02-05 03:55:37 +00:00
|
|
|
uint32_t ppn_mask;
|
|
|
|
};
|
|
|
|
|
2013-09-23 08:27:03 +00: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-05 03:55:37 +00:00
|
|
|
|
2015-09-21 19:07:46 +00:00
|
|
|
#endif /* OPENOCD_TARGET_NDS32_TLB_H */
|