Searched refs:tlb0 (Results 1 – 2 of 2) sorted by relevance
95 unsigned int fdt, unsigned int msr, unsigned int tlb0, in machine_early_init() argument133 kernel_tlb = tlb0 + tlb1; in machine_early_init()
29 unsigned int fdt, unsigned int msr, unsigned int tlb0,
