Function stack_rev 

pub fn stack_rev() -> Range<*mut u32>

The Range currently in use for the current hart’s stack, defined in reverse such that Range operations are viable.

Hence the end of this Range is one past where the current hart’s stack starts, so it is important not to write to it, otherwise the end of another hart’s stack may be overwritten.