diff options
| author | Jeff Dike <jdike@addtoit.com> | 2007-05-06 14:51:10 -0700 |
|---|---|---|
| committer | Linus Torvalds <torvalds@woody.linux-foundation.org> | 2007-05-07 12:13:01 -0700 |
| commit | 9218b1714949095bff9d9739d80f431d58e561d6 (patch) | |
| tree | a107cbf6e36b7910461ab8c018687b36e9d22e3a /include/linux/nmi.h | |
| parent | 24fa6c0832f4513ac897082d7d803970a40cc1b0 (diff) | |
uml: remove user_util.h
user_util.h isn't needed any more, so delete it and remove all includes of it.
Signed-off-by: Jeff Dike <jdike@linux.intel.com>
Cc: Paolo 'Blaisorblade' Giarrusso <blaisorblade@yahoo.it>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'include/linux/nmi.h')
0 files changed, 0 insertions, 0 deletions