From: Michael D <michael.j.dilmore@gmail.com>Date: Wed, 21 Jun 2017 22:35:56 +0100> How do we actually stop a null pointer being dereferenced here?Maybe that's why it's a BUG_ON(), there is no reasonable wayto continue if the pointer is NULL.