pub fn check_unmapped(current_task: &CurrentTask, addr: UserAddress)Expand description
Checks that the page in current_task’s address space starting at addr is unmapped.
Panics if the read succeeds, or if an error other than EFAULT occurs.
This method uses the #[track_caller] attribute, which will display the caller’s file and line
number in the event of a panic. This makes it easier to find test regressions.