pub fn fault_null_read()Expand description
Deliberately read through a NULL pointer, raising a ring-3 page fault (#PF) - §22 Chaos C2 / A14. A conforming kernel kills this task at the fault and continues; it must never halt the machine (invariant 12). Control does not return on a conforming kernel.