()
| 232 | |
| 233 | #[test] |
| 234 | fn prefetch_pages_null_safe() { |
| 235 | // Should not crash on null pointer. |
| 236 | prefetch_pages(std::ptr::null(), 0); |
| 237 | prefetch_pages(std::ptr::null(), 4096); |
| 238 | } |
| 239 | |
| 240 | #[test] |
| 241 | fn read_majflt() { |
nothing calls this directly
no test coverage detected