Vladimir 'phcoder' Serbinenko 0718f66d12 Discard a bunch of junk code

2011-01-03 00:56:28 +01:00

..

efi

Discard a bunch of junk code

2011-01-03 00:56:28 +01:00

kernel.h

kernel.h adjustments to fix build

2010-01-18 16:14:58 +00:00

setjmp.h

Add missing headers for ia64

2010-09-08 01:50:12 +02:00

time.h

Add missing headers for ia64

2010-09-08 01:50:12 +02:00

types.h

Add missing headers for ia64

2010-09-08 01:50:12 +02:00