x86: kill sys32_pause
authorChristoph Hellwig <hch@lst.de>
Mon, 1 Sep 2008 16:14:51 +0000 (18:14 +0200)
committerIngo Molnar <mingo@elte.hu>
Sat, 6 Sep 2008 16:44:47 +0000 (18:44 +0200)
It's an unused duplicate of the generic sys_pause.

Signed-off-by: Christoph Hellwig <hch@lst.de>
Signed-off-by: Ingo Molnar <mingo@elte.hu>

No differences found