openocd: fix SPDX tag format for files .c
[fw/openocd] / src / target / nds32_tlb.c
index 93a9241091e0eff912240192da8d605cf374d346..a533e593d3ef72a0caf0425e8c3c038d4cf64ea6 100644 (file)
@@ -1,19 +1,8 @@
+// SPDX-License-Identifier: GPL-2.0-or-later
+
 /***************************************************************************
  *   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     *
- *   along with this program.  If not, see <http://www.gnu.org/licenses/>. *
  ***************************************************************************/
 #ifdef HAVE_CONFIG_H
 #include "config.h"
@@ -44,34 +33,34 @@ int nds32_walk_page_table(struct nds32 *nds32, const target_addr_t virtual_addre
        struct target *target = nds32->target;
        uint32_t value_mr1;
        uint32_t load_address;
-       uint32_t L1_page_table_entry;
-       uint32_t L2_page_table_entry;
+       uint32_t l1_page_table_entry;
+       uint32_t l2_page_table_entry;
        uint32_t page_size_index = nds32->mmu_config.default_min_page_size;
        struct page_table_walker_info_s *page_table_info_p =
                &(page_table_info[page_size_index]);
 
        /* Read L1 Physical Page Table */
        nds32_get_mapped_reg(nds32, MR1, &value_mr1);
-       load_address = (value_mr1 & page_table_info_p->L1_base_mask) |
-               ((virtual_address & page_table_info_p->L1_offset_mask) >>
-                page_table_info_p->L1_offset_shift);
+       load_address = (value_mr1 & page_table_info_p->l1_base_mask) |
+               ((virtual_address & page_table_info_p->l1_offset_mask) >>
+                page_table_info_p->l1_offset_shift);
        /* load_address is physical address */
-       nds32_read_buffer(target, load_address, 4, (uint8_t *)&L1_page_table_entry);
+       nds32_read_buffer(target, load_address, 4, (uint8_t *)&l1_page_table_entry);
 
        /* Read L2 Physical Page Table */
-       if (L1_page_table_entry & 0x1) /* L1_PTE not present */
+       if (l1_page_table_entry & 0x1) /* L1_PTE not present */
                return ERROR_FAIL;
 
-       load_address = (L1_page_table_entry & page_table_info_p->L2_base_mask) |
-               ((virtual_address & page_table_info_p->L2_offset_mask) >>
-                page_table_info_p->L2_offset_shift);
+       load_address = (l1_page_table_entry & page_table_info_p->l2_base_mask) |
+               ((virtual_address & page_table_info_p->l2_offset_mask) >>
+                page_table_info_p->l2_offset_shift);
        /* load_address is physical address */
-       nds32_read_buffer(target, load_address, 4, (uint8_t *)&L2_page_table_entry);
+       nds32_read_buffer(target, load_address, 4, (uint8_t *)&l2_page_table_entry);
 
-       if ((L2_page_table_entry & 0x1) != 0x1) /* L2_PTE not valid */
+       if ((l2_page_table_entry & 0x1) != 0x1) /* L2_PTE not valid */
                return ERROR_FAIL;
 
-       *physical_address = (L2_page_table_entry & page_table_info_p->ppn_mask) |
+       *physical_address = (l2_page_table_entry & page_table_info_p->ppn_mask) |
                (virtual_address & page_table_info_p->va_offset_mask);
 
        return ERROR_OK;