Searched refs:mdb_cpuset_find (Results 1 – 5 of 5) sorted by relevance
73 extern int mdb_cpuset_find(uintptr_t);
228 cpu = mdb_cpuset_find(evtchn_cpus_addr + in print_cpu()
126 avhp.av_intr_id, mdb_cpuset_find( in soft_interrupt_dump()
64 mdb_cpuset_find { FLAGS = EXTERN };
609 mdb_cpuset_find(uintptr_t cpusetp) in mdb_cpuset_find() function