| commit | fc8b8a60ffa7c89da58c75109dacf0b2798c7caf | [log] [tgz] |
|---|---|---|
| author | Jeremy Fitzhardinge <jeremy@goop.org> | Wed Jun 25 00:19:01 2008 -0400 |
| committer | Ingo Molnar <mingo@elte.hu> | Tue Jul 08 13:10:26 2008 +0200 |
| tree | 7dad86ec633e9958c16ac7a3af779e6a19da05a3 | |
| parent | ada857082317e6883cfcf7deb4e0c54d3c447cb0 [diff] |
x86, 64-bit: use write_gdt_entry in vsyscall_set_cpu Use write_gdt_entry to generate the special vgetcpu descriptor in the vsyscall page. Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> Cc: xen-devel <xen-devel@lists.xensource.com> Cc: Stephen Tweedie <sct@redhat.com> Cc: Eduardo Habkost <ehabkost@redhat.com> Cc: Mark McLoughlin <markmc@redhat.com> Signed-off-by: Ingo Molnar <mingo@elte.hu>