tree 30ffb5b949b4728b29a4b95e0d31d007f066b402
parent 54ce9256ad705ae8b628edfadce161aa7099922d
author Richard Weinberger <richard@nod.at> 1334325241 +0200
committer Richard Weinberger <richard@nod.at> 1337627373 +0200

um: Add BUG() to do_ops()'s error path

In case we encounter a bad operation in do_ops() something is really
broken and it's better to BUG().

Signed-off-by: Richard Weinberger <richard@nod.at>