Searched refs:x86pte_cpu_init (Results 1 – 4 of 4) sorted by relevance
264 extern void x86pte_cpu_init(cpu_t *);
471 x86pte_cpu_init(CPU); in hat_kern_alloc()
1899 x86pte_cpu_init(cpu_t *cpu) in x86pte_cpu_init() function
4030 x86pte_cpu_init(cpup); in hat_cpu_online()