Searched refs:ddb_display_cpuset (Results 1 – 3 of 3) sorted by relevance
179 void ddb_display_cpuset(const cpuset_t *);
2582 ddb_display_cpuset(const cpuset_t *set) in ddb_display_cpuset() function2602 ddb_display_cpuset(&set->cs_mask); in DB_SHOW_COMMAND_FLAGS()
843 ddb_display_cpuset(__DEQUALIFY(const cpuset_t *, &rm->rm_writecpus)); in db_show_rm()