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;
1103 cfg->ttbr0_core_offset = BASE_TABLE_SIZE; in core_init_mmu_regs()1196 cfg->ttbr0_core_offset = BASE_TABLE_SIZE; in core_init_mmu_regs()