vr_null_handler
STATIC int vr_null_handler(void *, uint32_t, uint32_t);
vr_null_handler,
vr_null_handler,
vr_null_handler,
vr_null_handler
KDASSERT(vr_intr_handler[line] == vr_null_handler);
vr_intr_handler[line] = vr_null_handler;