Searched refs:task_set_64bit (Results 1 – 3 of 3) sorted by relevance
952 extern void task_set_64bit(
609 task_set_64bit( in task_set_64bit() function
879 task_set_64bit(task, result->is_64bit_addr, result->is_64bit_data); in activate_exec_state()