[PATCH] Fix vmi time header bug
authorZachary Amsden <zach@vmware.com>
Mon, 12 Mar 2007 22:58:08 +0000 (14:58 -0800)
committerLinus Torvalds <torvalds@woody.linux-foundation.org>
Mon, 12 Mar 2007 23:36:16 +0000 (16:36 -0700)
Some gcc put this function in .init.text because the header didn't
match.

Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>

No differences found