Searched refs:tlb1 (Results 1 – 2 of 2) sorted by relevance
90 unsigned int tlb1) in machine_early_init() argument127 kernel_tlb = tlb0 + tlb1; in machine_early_init()
25 unsigned int tlb1);