Searched refs:gdb_get_max_cpus (Results 1 – 4 of 4) sorted by relevance
135 unsigned int gdb_get_max_cpus(void); /* both */
479 unsigned int gdb_get_max_cpus(void) in gdb_get_max_cpus() function
756 unsigned int gdb_get_max_cpus(void) in gdb_get_max_cpus() function
736 unsigned int max_cpus = gdb_get_max_cpus(); in gdb_handle_vcont()