Christoph Hellwig 0722bba8f1 x86: kill sys32_pause
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>
2008-09-06 18:44:47 +02:00
..
2008-01-30 13:30:08 +01:00
2008-01-30 13:31:55 +01:00
2008-09-06 18:44:47 +02:00