Use set_cpus_allowed_ptr rather than set_cpus_allowed.
Signed-off-by: NJulia Lawall <julia@diku.dk>
Signed-off-by: NTony Luck <tony.luck@intel.com>