Home
last modified time | relevance | path

Searched refs:ddb_display_cpuset (Results 1 – 3 of 3) sorted by relevance

/src/sys/sys/
H A Dcpuset.h181 void ddb_display_cpuset(const cpuset_t *);
/src/sys/kern/
H A Dkern_cpuset.c2592 ddb_display_cpuset(const cpuset_t *set) in ddb_display_cpuset() function
2612 ddb_display_cpuset(&set->cs_mask); in DB_SHOW_COMMAND_FLAGS()
H A Dkern_rmlock.c843 ddb_display_cpuset(__DEQUALIFY(const cpuset_t *, &rm->rm_writecpus)); in db_show_rm()