patch-2.4.2 linux/Documentation/ia64/efirtc.txt

• Lines: 9
• Date: Thu Feb 8 16:32:44 2001
• Orig file: v2.4.1/linux/Documentation/ia64/efirtc.txt
• Orig date: Fri Jul 28 12:50:51 2000

diff -u --recursive --new-file v2.4.1/linux/Documentation/ia64/efirtc.txt linux/Documentation/ia64/efirtc.txt
@@ -13,7 +13,7 @@
 
 EFI provides 4 calls one can make once the OS is booted: GetTime(),
 SetTime(), GetWakeupTime(), SetWakeupTime() which are all supported by this driver.
-We describes those calls as well the the design of the driver in the following
+We describe those calls as well the design of the driver in the following
 sections.
 
 II/ Design Decisions