BUG_ON() Conversion in ipc/util.c