Searched refs:pmap_get_remote_cpu_data (Results 1 – 3 of 3) sorted by relevance
729 extern pmap_cpu_data_t *pmap_get_remote_cpu_data(unsigned int cpu);
4258 pmap_get_remote_cpu_data(unsigned int cpu) in pmap_get_remote_cpu_data() function
3205 const pmap_cpu_data_t *cpu_data = pmap_get_remote_cpu_data(i); in pmap_destroy_internal()3747 const pmap_cpu_data_t *cpu_data = pmap_get_remote_cpu_data(i);