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