Searched refs:tlb1 (Results 1 – 2 of 2) sorted by relevance
101 unsigned int tlb1) in machine_early_init() argument144 kernel_tlb = tlb0 + tlb1; in machine_early_init()
40 unsigned int tlb1);