pub fn set_kernel_stack_top(index: usize, rsp: u64)
Set the per-CPU kernel stack top for the given CPU index.