Searched refs:x86pte_cpu_init (Results 1 – 4 of 4) sorted by relevance
271 extern void x86pte_cpu_init(cpu_t *);
376 x86pte_cpu_init(CPU); in hat_kern_alloc()
1889 x86pte_cpu_init(cpu_t *cpu) in x86pte_cpu_init() function
4511 x86pte_cpu_init(cpup); in hat_cpu_online()