|
@@ -125,7 +125,7 @@ void __init get_region(unsigned int nid, unsigned long *start_pfn,
|
|
/* We didnt find a matching region, return start/end as 0 */
|
|
/* We didnt find a matching region, return start/end as 0 */
|
|
static inline void map_cpu_to_node(int cpu, int node)
|
|
static inline void map_cpu_to_node(int cpu, int node)
|