Searched +full:0 +full:x1d000000 +full:- +full:0 +full:x25000000 (Results 1 – 1 of 1) sorted by relevance
1 /* SPDX-License-Identifier: GPL-2.0-only */5 * Copyright (c) 2010-2011, The Linux Foundation. All rights reserved.9 * These tables are pre-computed and linked into kernel.16 * Start with mapping PA=0 to both VA=0x0 and VA=0xc000000 as 16MB large pages.17 * No user mode access, RWX, write-back cache. The entry needs46 /* VA 0x00000000 */59 /* VA 0x40000000 */68 /* VA 0x80000000 */74 /*0xa8*/.word X,X,X,X77 /*0xa9*/.word BKPG_IO(0xa9000000),BKPG_IO(0xa9000000),BKPG_IO(0xa9000000),BKPG_IO(0xa9000000)[all …]