ia64/xen-unstable

view xen/common/version.c @ 12390:e28beea6d228

[IA64] Fix time services of EFI emulation

This patch serializes the execution of following efi.runtimes.
- GetTime
- SetTime
- GetWakeTime
- SetWakeTime

Linux/ia64 uses similar spinlocks in the EFI RTC driver.

Signed-off-by: Masaki Kanno <kanno.masaki@jp.fujitsu.com>
author awilliam@xenbuild.aw
date Fri Nov 10 12:03:19 2006 -0700 (2006-11-10)
parents b786bfb058eb
children 675fb031df88
line source
1 #include <xen/compile.h>
3 const char *xen_compile_date(void)
4 {
5 return XEN_COMPILE_DATE;
6 }
8 const char *xen_compile_time(void)
9 {
10 return XEN_COMPILE_TIME;
11 }
13 const char *xen_compile_by(void)
14 {
15 return XEN_COMPILE_BY;
16 }
18 const char *xen_compile_domain(void)
19 {
20 return XEN_COMPILE_DOMAIN;
21 }
23 const char *xen_compile_host(void)
24 {
25 return XEN_COMPILE_HOST;
26 }
28 const char *xen_compiler(void)
29 {
30 return XEN_COMPILER;
31 }
33 unsigned int xen_major_version(void)
34 {
35 return XEN_VERSION;
36 }
38 unsigned int xen_minor_version(void)
39 {
40 return XEN_SUBVERSION;
41 }
43 const char *xen_extra_version(void)
44 {
45 return XEN_EXTRAVERSION;
46 }
48 const char *xen_changeset(void)
49 {
50 return XEN_CHANGESET;
51 }
53 const char *xen_banner(void)
54 {
55 return XEN_BANNER;
56 }