os_cpuset_init
status_t os_cpuset_init(os_cpuset_t **cpuset);
os_cpuset_init(&cpudata->htlb_want_flush);