Function cleanup_robust_list 

pub fn cleanup_robust_list(task: &Task)

Walk the robust list for a dying task and mark owned futexes as “owner died”.

Called from exit_current_task() before the task’s address space is torn down.

Safety

Reads userspace memory at robust_list_head. The address space must still be valid (not yet freed).