⚠️ VeridianOS Kernel Documentation - This is low-level kernel code. All functions are unsafe unless explicitly marked otherwise. no_std

get_task_ptr

veridian_kernel::sched::scheduler

Function get_task_ptr 

Source 
pub fn get_task_ptr(pid: u64) -> Option<NonNull<Task>>
Expand description

Look up a task pointer by PID. O(log n) via BTreeMap.

Returns the NonNull if the PID is registered. This is used by the IPC fast path for direct task-to-task message transfer without iterating the scheduler’s run queues.