+ NUM_MEM_DESCS*(sizeof(efi_memory_desc_t))
+ 1024)] __attribute__ ((aligned (8)));
-#if defined(CONFIG_IA64_HP_SIM) || defined(CONFIG_IA64_GENERIC)
+#ifdef CONFIG_IA64_HP_SIM
/* Simulator system calls: */
static efi_status_t
efi_get_time (efi_time_t *tm, efi_time_cap_t *tc)
{
-#if defined(CONFIG_IA64_HP_SIM) || defined(CONFIG_IA64_GENERIC)
+#ifdef CONFIG_IA64_HP_SIM
struct {
int tv_sec; /* must be 32bits to work */
int tv_usec;
static void
efi_reset_system (int reset_type, efi_status_t status, unsigned long data_size, efi_char16_t *data)
{
-#if defined(CONFIG_IA64_HP_SIM) || defined(CONFIG_IA64_GENERIC)
+#ifdef CONFIG_IA64_HP_SIM
ssc(status, 0, 0, 0, SSC_EXIT);
#else
# error Not implemented yet...