// Note that kernel threads never have disable_user_jop set
if (current_thread()->machine.disable_user_jop || !thread_is_64bit_addr(current_thread()) ||
// Note that kernel threads never have disable_user_jop set
if (current_thread()->machine.disable_user_jop || !thread_is_64bit_addr(current_thread()) ||