Constant FDF_DISPATCHER_OPTION_NO_THREAD_MIGRATION 

pub const FDF_DISPATCHER_OPTION_NO_THREAD_MIGRATION: u32 = 4;