Searched refs:cpu_ttb (Results 1 – 3 of 3) sorted by relevance
418 extern uint32_t cpu_ttb;
121 uint32_t cpu_ttb = ~0; variable3590 ((armreg_ttbr_read() & -L1_TABLE_SIZE) == cpu_ttb) || in cpu_earlydevice_va_p()3591 ((armreg_ttbr1_read() & -L1_TABLE_SIZE) == cpu_ttb); in cpu_earlydevice_va_p()
1055 cpu_ttb = l1pt_pa; in arm32_kernel_vm_init()