[PATCH 3/3] x86_64 EFI runtime service support: document for EFI runtime services

["Huang, Ying" <ying.huang@intel.com>]

Changelog between v3 of EFI x86_64 support patch and this version

1. Change 64bit parameter description to 8 bytes in zero-page.txt
2. Add document for EFI related boot options.

---

This patch adds document for EFI x86_64 runtime services support. The
boot parameters added are documented in
Documentation/i386/zero-page.txt. The boot options added are
documented in Documentation/x86_64/boot-options.txt.

---

 i386/zero-page.txt      |   21 ++++++++++++++++-----
 x86_64/boot-options.txt |   10 +++++++++-
 2 files changed, 25 insertions(+), 6 deletions(-)

Signed-off-by: Chandramouli Narayanan <mouli@linux.intel.com>
Signed-off-by: Huang Ying <ying.huang@intel.com>

Index: linux-2.6.23-rc2/Documentation/i386/zero-page.txt
===================================================================
--- linux-2.6.23-rc2.orig/Documentation/i386/zero-page.txt	2007-08-13 13:08:39.000000000 +0800
+++ linux-2.6.23-rc2/Documentation/i386/zero-page.txt	2007-08-13 13:08:53.000000000 +0800
@@ -31,11 +31,11 @@
  0xb0 - 0x13f		Free. Add more parameters here if you really need them.
  0x140- 0x1be		EDID_INFO Video mode setup
 
-0x1c4	unsigned long	EFI system table pointer
-0x1c8	unsigned long	EFI memory descriptor size
-0x1cc	unsigned long	EFI memory descriptor version
-0x1d0	unsigned long	EFI memory descriptor map pointer
-0x1d4	unsigned long	EFI memory descriptor map size
+0x1c4	unsigned long	EFI system table pointer*
+0x1c8	unsigned long	EFI memory descriptor size*
+0x1cc	unsigned long	EFI memory descriptor version*
+0x1d0	unsigned long	EFI memory descriptor map pointer*
+0x1d4	unsigned long	EFI memory descriptor map size*
 0x1e0	unsigned long	ALT_MEM_K, alternative mem check, in Kb
 0x1e4	unsigned long	Scratch field for the kernel setup code
 0x1e8	char		number of entries in E820MAP (below)
@@ -87,3 +87,14 @@
 0x2d0 - 0xd00		E820MAP
 0xd00 - 0xeff		EDDBUF (edd.S) for disk signature read sector
 0xd00 - 0xeeb		EDDBUF (edd.S) for edd data
+
+Changes for x86_64 implementation:
+---------------------------------
+For alignment purposes, the following parameters are rearranged.
+
+0x1c0	4 bytes		EFI Loader signature, ="EFIL"
+0x1c4	unsigned long	EFI memory descriptor size
+0x1c8	unsigned long	EFI memory descriptor version
+0x1cc	unsigned long	EFI memory descriptor map size
+0x1d0	8 bytes		EFI memory descriptor map pointer
+0x1d8	8 bytes		EFI system table pointer
Index: linux-2.6.23-rc2/Documentation/x86_64/boot-options.txt
===================================================================
--- linux-2.6.23-rc2.orig/Documentation/x86_64/boot-options.txt	2007-08-13 13:08:39.000000000 +0800
+++ linux-2.6.23-rc2/Documentation/x86_64/boot-options.txt	2007-08-13 13:08:53.000000000 +0800
@@ -110,12 +110,13 @@
 
 Rebooting
 
-   reboot=b[ios] | t[riple] | k[bd] [, [w]arm | [c]old]
+   reboot=b[ios] | t[riple] | k[bd] | e[fi] [, [w]arm | [c]old]
    bios	  Use the CPU reboot vector for warm reset
    warm   Don't set the cold reboot flag
    cold   Set the cold reboot flag
    triple Force a triple fault (init)
    kbd    Use the keyboard controller. cold reset (default)
+   efi	  Use efi reset_system runtime service. cold reset (default)
 
    Using warm reset will be much faster especially on big memory
    systems because the BIOS will not go through the memory check.
@@ -300,4 +301,11 @@
 		newfallback: use new unwinder but fall back to old if it gets
 			stuck (default)
 
+EFI
+
+  noefi		Disable EFI support
+
+  noefi_time	Disable EFI time runtime service, programming CMOS
+  		hardware directly
+
 Miscellaneous
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/