It is ok to call kmm_free with a NULL pointer. Thus adopt the DEBUGASSERT statement to cover this case. Signed-off-by: Michael Jung <michael.jung@secore.ly>
It is ok to call kmm_free with a NULL pointer. Thus adopt the DEBUGASSERT statement to cover this case. Signed-off-by: Michael Jung <michael.jung@secore.ly>