46 int cpu_reset(int nr)  in cpu_reset()  argument
49 	out_be32(&pic->pir, 1 << nr);  in cpu_reset()
57 int cpu_status(int nr)  in cpu_status()  argument
64 	if (nr == id) {  in cpu_status()
67 	} else if (is_core_disabled(nr)) {  in cpu_status()
70 		table = (u32 *)&__spin_table + nr * NUM_BOOT_ENTRY;  in cpu_status()
83 int cpu_disable(int nr)  in cpu_disable()  argument
87 	setbits_be32(&gur->coredisrl, 1 << nr);  in cpu_disable()
92 int is_core_disabled(int nr) {  in is_core_disabled()  argument
96 	return (coredisrl & (1 << nr));  in is_core_disabled()
99 int cpu_disable(int nr)  in cpu_disable()  argument
103 	switch (nr) {  in cpu_disable()
111 		printf("Invalid cpu number for disable %d\n", nr);  in cpu_disable()
118 int is_core_disabled(int nr) {  in is_core_disabled()  argument
122 	switch (nr) {  in is_core_disabled()
128 		printf("Invalid cpu number for disable %d\n", nr);  in is_core_disabled()
141 int cpu_release(int nr, int argc, char * const argv[])  in cpu_release()  argument
143 	u32 i, val, *table = (u32 *)&__spin_table + nr * NUM_BOOT_ENTRY;  in cpu_release()
149 	if (nr == get_my_id()) {  in cpu_release()