ia64/xen-unstable

view xen/common/symbols-dummy.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 34452b288046
children
line source
1 /*
2 * symbols-dummy.c: dummy symbol-table definitions for the inital partial
3 * link of the hypervisor image.
4 */
6 #include <xen/config.h>
7 #include <xen/types.h>
9 unsigned long symbols_addresses[1];
10 unsigned long symbols_num_syms;
11 u8 symbols_names[1];
13 u8 symbols_token_table[1];
14 u16 symbols_token_index[1];
16 unsigned long symbols_markers[1];