Searched refs:x86pte_cpu_fini (Results 1 – 3 of 3) sorted by relevance
272 extern void x86pte_cpu_fini(cpu_t *);
1899 x86pte_cpu_fini(cpu_t *cpu) in x86pte_cpu_fini() function
4528 x86pte_cpu_fini(cpup); in hat_cpu_offline()