os_cpuset_t
os_cpuset_init(os_cpuset_t **cpuset)
*cpuset = new os_cpuset_t;
os_cpuset_destroy(os_cpuset_t *cpuset)
os_cpuset_isset(os_cpuset_t *cpuset, int32 cpu)
os_cpuset_clear(os_cpuset_t *cpuset, int32 cpu)
os_cpuset_setrunning(os_cpuset_t *cpuset)
status_t os_cpuset_init(os_cpuset_t **cpuset);
void os_cpuset_destroy(os_cpuset_t *cpuset);
bool os_cpuset_isset(os_cpuset_t *cpuset, int32 cpu);
void os_cpuset_clear(os_cpuset_t *cpuset, int32 cpu);
void os_cpuset_setrunning(os_cpuset_t *cpuset);
os_cpuset_t *htlb_want_flush;
os_cpuset_init(os_cpuset_t **cpuset)
*cpuset = new os_cpuset_t;
os_cpuset_destroy(os_cpuset_t *cpuset)
os_cpuset_isset(os_cpuset_t *cpuset, int32 cpu)
os_cpuset_clear(os_cpuset_t *cpuset, int32 cpu)
os_cpuset_setrunning(os_cpuset_t *cpuset)
status_t os_cpuset_init(os_cpuset_t **cpuset);
void os_cpuset_destroy(os_cpuset_t *cpuset);
bool os_cpuset_isset(os_cpuset_t *cpuset, int32 cpu);
void os_cpuset_clear(os_cpuset_t *cpuset, int32 cpu);
void os_cpuset_setrunning(os_cpuset_t *cpuset);
os_cpuset_t *htlb_want_flush;