Searched refs:ttbr0_core_offset (Results 1 – 2 of 2) sorted by relevance
92 uint64_t ttbr0_core_offset; member98 uint32_t ttbr0_core_offset;
1102 cfg->ttbr0_core_offset = BASE_TABLE_SIZE; in core_init_mmu_regs()1195 cfg->ttbr0_core_offset = BASE_TABLE_SIZE; in core_init_mmu_regs()