Tiny cleanup: In x86_64, the same functions for reading cr3 and writing cr{3,4} are defined in tlbflush.h and system.h, whith just a name change. The only difference is the clobbering of memory, which seems a safe, and even needed change for the write_cr4. This patch removes the duplicate. write_cr3() is moved to system.h for consistency.
Signed-off-by: Glauber de Oliveira Costa <[EMAIL PROTECTED]> -- Glauber de Oliveira Costa Red Hat Inc. "Free as in Freedom" - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/