arch_init.c 17.6 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
/*
 * QEMU System Emulator
 *
 * Copyright (c) 2003-2008 Fabrice Bellard
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 * THE SOFTWARE.
 */
#include <stdint.h>
#include <stdarg.h>
26
#include <stdlib.h>
27
#ifndef _WIN32
28
#include <sys/types.h>
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
#include <sys/mman.h>
#endif
#include "config.h"
#include "monitor.h"
#include "sysemu.h"
#include "arch_init.h"
#include "audio/audio.h"
#include "hw/pc.h"
#include "hw/pci.h"
#include "hw/audiodev.h"
#include "kvm.h"
#include "migration.h"
#include "net.h"
#include "gdbstub.h"
#include "hw/smbios.h"
44
#include "exec-memory.h"
Jan Kiszka's avatar
Jan Kiszka committed
45
#include "hw/pcspk.h"
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68

#ifdef TARGET_SPARC
int graphic_width = 1024;
int graphic_height = 768;
int graphic_depth = 8;
#else
int graphic_width = 800;
int graphic_height = 600;
int graphic_depth = 15;
#endif

const char arch_config_name[] = CONFIG_QEMU_CONFDIR "/target-" TARGET_ARCH ".conf";

#if defined(TARGET_ALPHA)
#define QEMU_ARCH QEMU_ARCH_ALPHA
#elif defined(TARGET_ARM)
#define QEMU_ARCH QEMU_ARCH_ARM
#elif defined(TARGET_CRIS)
#define QEMU_ARCH QEMU_ARCH_CRIS
#elif defined(TARGET_I386)
#define QEMU_ARCH QEMU_ARCH_I386
#elif defined(TARGET_M68K)
#define QEMU_ARCH QEMU_ARCH_M68K
Michael Walle's avatar
Michael Walle committed
69
70
#elif defined(TARGET_LM32)
#define QEMU_ARCH QEMU_ARCH_LM32
71
72
73
74
75
76
77
78
79
80
81
82
#elif defined(TARGET_MICROBLAZE)
#define QEMU_ARCH QEMU_ARCH_MICROBLAZE
#elif defined(TARGET_MIPS)
#define QEMU_ARCH QEMU_ARCH_MIPS
#elif defined(TARGET_PPC)
#define QEMU_ARCH QEMU_ARCH_PPC
#elif defined(TARGET_S390X)
#define QEMU_ARCH QEMU_ARCH_S390X
#elif defined(TARGET_SH4)
#define QEMU_ARCH QEMU_ARCH_SH4
#elif defined(TARGET_SPARC)
#define QEMU_ARCH QEMU_ARCH_SPARC
Max Filippov's avatar
Max Filippov committed
83
84
#elif defined(TARGET_XTENSA)
#define QEMU_ARCH QEMU_ARCH_XTENSA
85
86
87
88
89
90
91
#endif

const uint32_t arch_type = QEMU_ARCH;

/***********************************************************/
/* ram save/restore */

92
93
94
95
96
97
#define RAM_SAVE_FLAG_FULL     0x01 /* Obsolete, not used anymore */
#define RAM_SAVE_FLAG_COMPRESS 0x02
#define RAM_SAVE_FLAG_MEM_SIZE 0x04
#define RAM_SAVE_FLAG_PAGE     0x08
#define RAM_SAVE_FLAG_EOS      0x10
#define RAM_SAVE_FLAG_CONTINUE 0x20
98

Paolo Bonzini's avatar
Paolo Bonzini committed
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
#ifdef __ALTIVEC__
#include <altivec.h>
#define VECTYPE        vector unsigned char
#define SPLAT(p)       vec_splat(vec_ld(0, p), 0)
#define ALL_EQ(v1, v2) vec_all_eq(v1, v2)
#elif defined __SSE2__
#include <emmintrin.h>
#define VECTYPE        __m128i
#define SPLAT(p)       _mm_set1_epi8(*(p))
#define ALL_EQ(v1, v2) (_mm_movemask_epi8(_mm_cmpeq_epi8(v1, v2)) == 0xFFFF)
#else
#define VECTYPE        unsigned long
#define SPLAT(p)       (*(p) * (~0UL / 255))
#define ALL_EQ(v1, v2) ((v1) == (v2))
#endif

static int is_dup_page(uint8_t *page)
116
{
Paolo Bonzini's avatar
Paolo Bonzini committed
117
118
    VECTYPE *p = (VECTYPE *)page;
    VECTYPE val = SPLAT(page);
119
120
    int i;

Paolo Bonzini's avatar
Paolo Bonzini committed
121
122
    for (i = 0; i < TARGET_PAGE_SIZE / sizeof(VECTYPE); i++) {
        if (!ALL_EQ(val, p[i])) {
123
124
125
126
127
128
129
            return 0;
        }
    }

    return 1;
}

130
131
132
static RAMBlock *last_block;
static ram_addr_t last_offset;

133
134
static int ram_save_block(QEMUFile *f)
{
135
136
    RAMBlock *block = last_block;
    ram_addr_t offset = last_offset;
137
    int bytes_sent = 0;
Avi Kivity's avatar
Avi Kivity committed
138
    MemoryRegion *mr;
139

140
141
142
143
    if (!block)
        block = QLIST_FIRST(&ram_list.blocks);

    do {
Avi Kivity's avatar
Avi Kivity committed
144
        mr = block->mr;
145
146
        if (memory_region_get_dirty(mr, offset, TARGET_PAGE_SIZE,
                                    DIRTY_MEMORY_MIGRATION)) {
147
            uint8_t *p;
148
            int cont = (block == last_block) ? RAM_SAVE_FLAG_CONTINUE : 0;
149

Avi Kivity's avatar
Avi Kivity committed
150
151
            memory_region_reset_dirty(mr, offset, TARGET_PAGE_SIZE,
                                      DIRTY_MEMORY_MIGRATION);
152

Avi Kivity's avatar
Avi Kivity committed
153
            p = memory_region_get_ram_ptr(mr) + offset;
154

Paolo Bonzini's avatar
Paolo Bonzini committed
155
            if (is_dup_page(p)) {
156
157
158
159
160
161
                qemu_put_be64(f, offset | cont | RAM_SAVE_FLAG_COMPRESS);
                if (!cont) {
                    qemu_put_byte(f, strlen(block->idstr));
                    qemu_put_buffer(f, (uint8_t *)block->idstr,
                                    strlen(block->idstr));
                }
162
                qemu_put_byte(f, *p);
163
                bytes_sent = 1;
164
            } else {
165
166
167
168
169
170
                qemu_put_be64(f, offset | cont | RAM_SAVE_FLAG_PAGE);
                if (!cont) {
                    qemu_put_byte(f, strlen(block->idstr));
                    qemu_put_buffer(f, (uint8_t *)block->idstr,
                                    strlen(block->idstr));
                }
171
                qemu_put_buffer(f, p, TARGET_PAGE_SIZE);
172
                bytes_sent = TARGET_PAGE_SIZE;
173
174
175
176
            }

            break;
        }
177
178
179
180
181
182
183
184

        offset += TARGET_PAGE_SIZE;
        if (offset >= block->length) {
            offset = 0;
            block = QLIST_NEXT(block, next);
            if (!block)
                block = QLIST_FIRST(&ram_list.blocks);
        }
Avi Kivity's avatar
Avi Kivity committed
185
    } while (block != last_block || offset != last_offset);
186
187
188

    last_block = block;
    last_offset = offset;
189

190
    return bytes_sent;
191
192
193
194
195
196
}

static uint64_t bytes_transferred;

static ram_addr_t ram_save_remaining(void)
{
197
    RAMBlock *block;
198
199
    ram_addr_t count = 0;

200
201
    QLIST_FOREACH(block, &ram_list.blocks, next) {
        ram_addr_t addr;
Avi Kivity's avatar
Avi Kivity committed
202
        for (addr = 0; addr < block->length; addr += TARGET_PAGE_SIZE) {
203
            if (memory_region_get_dirty(block->mr, addr, TARGET_PAGE_SIZE,
Avi Kivity's avatar
Avi Kivity committed
204
                                        DIRTY_MEMORY_MIGRATION)) {
205
206
                count++;
            }
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
        }
    }

    return count;
}

uint64_t ram_bytes_remaining(void)
{
    return ram_save_remaining() * TARGET_PAGE_SIZE;
}

uint64_t ram_bytes_transferred(void)
{
    return bytes_transferred;
}

uint64_t ram_bytes_total(void)
{
225
226
227
228
229
230
231
    RAMBlock *block;
    uint64_t total = 0;

    QLIST_FOREACH(block, &ram_list.blocks, next)
        total += block->length;

    return total;
232
233
}

234
235
236
237
static int block_compar(const void *a, const void *b)
{
    RAMBlock * const *ablock = a;
    RAMBlock * const *bblock = b;
238
239

    return strcmp((*ablock)->idstr, (*bblock)->idstr);
240
241
242
243
244
245
246
247
248
249
}

static void sort_ram_list(void)
{
    RAMBlock *block, *nblock, **blocks;
    int n;
    n = 0;
    QLIST_FOREACH(block, &ram_list.blocks, next) {
        ++n;
    }
250
    blocks = g_malloc(n * sizeof *blocks);
251
252
253
254
255
256
257
258
259
    n = 0;
    QLIST_FOREACH_SAFE(block, &ram_list.blocks, next, nblock) {
        blocks[n++] = block;
        QLIST_REMOVE(block, next);
    }
    qsort(blocks, n, sizeof *blocks, block_compar);
    while (--n >= 0) {
        QLIST_INSERT_HEAD(&ram_list.blocks, blocks[n], next);
    }
260
    g_free(blocks);
261
262
}

263
int ram_save_live(QEMUFile *f, int stage, void *opaque)
264
265
266
267
268
{
    ram_addr_t addr;
    uint64_t bytes_transferred_last;
    double bwidth = 0;
    uint64_t expected_time = 0;
269
    int ret;
270
271

    if (stage < 0) {
272
        memory_global_dirty_log_stop();
273
274
275
        return 0;
    }

276
    memory_global_sync_dirty_bitmap(get_system_memory());
277
278

    if (stage == 1) {
279
        RAMBlock *block;
280
        bytes_transferred = 0;
281
282
        last_block = NULL;
        last_offset = 0;
283
        sort_ram_list();
284
285

        /* Make sure all dirty bits are set */
286
        QLIST_FOREACH(block, &ram_list.blocks, next) {
Avi Kivity's avatar
Avi Kivity committed
287
            for (addr = 0; addr < block->length; addr += TARGET_PAGE_SIZE) {
288
                if (!memory_region_get_dirty(block->mr, addr, TARGET_PAGE_SIZE,
Avi Kivity's avatar
Avi Kivity committed
289
                                             DIRTY_MEMORY_MIGRATION)) {
290
                    memory_region_set_dirty(block->mr, addr, TARGET_PAGE_SIZE);
291
                }
292
293
294
            }
        }

295
        memory_global_dirty_log_start();
296

297
        qemu_put_be64(f, ram_bytes_total() | RAM_SAVE_FLAG_MEM_SIZE);
298
299
300
301
302
303

        QLIST_FOREACH(block, &ram_list.blocks, next) {
            qemu_put_byte(f, strlen(block->idstr));
            qemu_put_buffer(f, (uint8_t *)block->idstr, strlen(block->idstr));
            qemu_put_be64(f, block->length);
        }
304
305
306
307
308
    }

    bytes_transferred_last = bytes_transferred;
    bwidth = qemu_get_clock_ns(rt_clock);

309
    while ((ret = qemu_file_rate_limit(f)) == 0) {
310
        int bytes_sent;
311

312
313
314
        bytes_sent = ram_save_block(f);
        bytes_transferred += bytes_sent;
        if (bytes_sent == 0) { /* no more blocks */
315
316
317
318
            break;
        }
    }

319
320
321
322
    if (ret < 0) {
        return ret;
    }

323
324
325
326
327
328
329
330
331
332
333
    bwidth = qemu_get_clock_ns(rt_clock) - bwidth;
    bwidth = (bytes_transferred - bytes_transferred_last) / bwidth;

    /* if we haven't transferred anything this round, force expected_time to a
     * a very high value, but without crashing */
    if (bwidth == 0) {
        bwidth = 0.000001;
    }

    /* try transferring iterative blocks of memory */
    if (stage == 3) {
334
335
        int bytes_sent;

336
        /* flush all remaining blocks regardless of rate limiting */
337
338
        while ((bytes_sent = ram_save_block(f)) != 0) {
            bytes_transferred += bytes_sent;
339
        }
340
        memory_global_dirty_log_stop();
341
342
343
344
345
346
347
348
349
    }

    qemu_put_be64(f, RAM_SAVE_FLAG_EOS);

    expected_time = ram_save_remaining() * TARGET_PAGE_SIZE / bwidth;

    return (stage == 2) && (expected_time <= migrate_max_downtime());
}

350
351
352
353
354
355
356
357
358
359
360
361
362
363
static inline void *host_from_stream_offset(QEMUFile *f,
                                            ram_addr_t offset,
                                            int flags)
{
    static RAMBlock *block = NULL;
    char id[256];
    uint8_t len;

    if (flags & RAM_SAVE_FLAG_CONTINUE) {
        if (!block) {
            fprintf(stderr, "Ack, bad migration stream!\n");
            return NULL;
        }

364
        return memory_region_get_ram_ptr(block->mr) + offset;
365
366
367
368
369
370
371
372
    }

    len = qemu_get_byte(f);
    qemu_get_buffer(f, (uint8_t *)id, len);
    id[len] = 0;

    QLIST_FOREACH(block, &ram_list.blocks, next) {
        if (!strncmp(id, block->idstr, sizeof(id)))
373
            return memory_region_get_ram_ptr(block->mr) + offset;
374
375
376
377
378
379
    }

    fprintf(stderr, "Can't find block %s!\n", id);
    return NULL;
}

380
381
382
383
int ram_load(QEMUFile *f, void *opaque, int version_id)
{
    ram_addr_t addr;
    int flags;
384
    int error;
385

386
    if (version_id < 4 || version_id > 4) {
387
388
389
390
391
392
393
394
395
396
        return -EINVAL;
    }

    do {
        addr = qemu_get_be64(f);

        flags = addr & ~TARGET_PAGE_MASK;
        addr &= TARGET_PAGE_MASK;

        if (flags & RAM_SAVE_FLAG_MEM_SIZE) {
397
            if (version_id == 4) {
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
                /* Synchronize RAM block list */
                char id[256];
                ram_addr_t length;
                ram_addr_t total_ram_bytes = addr;

                while (total_ram_bytes) {
                    RAMBlock *block;
                    uint8_t len;

                    len = qemu_get_byte(f);
                    qemu_get_buffer(f, (uint8_t *)id, len);
                    id[len] = 0;
                    length = qemu_get_be64(f);

                    QLIST_FOREACH(block, &ram_list.blocks, next) {
                        if (!strncmp(id, block->idstr, sizeof(id))) {
                            if (block->length != length)
                                return -EINVAL;
                            break;
                        }
                    }

                    if (!block) {
421
422
423
                        fprintf(stderr, "Unknown ramblock \"%s\", cannot "
                                "accept migration\n", id);
                        return -EINVAL;
424
425
426
427
                    }

                    total_ram_bytes -= length;
                }
428
429
430
431
            }
        }

        if (flags & RAM_SAVE_FLAG_COMPRESS) {
432
433
434
            void *host;
            uint8_t ch;

435
            host = host_from_stream_offset(f, addr, flags);
436
437
438
            if (!host) {
                return -EINVAL;
            }
439
440
441

            ch = qemu_get_byte(f);
            memset(host, ch, TARGET_PAGE_SIZE);
442
443
444
#ifndef _WIN32
            if (ch == 0 &&
                (!kvm_enabled() || kvm_has_sync_mmu())) {
Andreas Färber's avatar
Andreas Färber committed
445
                qemu_madvise(host, TARGET_PAGE_SIZE, QEMU_MADV_DONTNEED);
446
447
448
            }
#endif
        } else if (flags & RAM_SAVE_FLAG_PAGE) {
449
450
            void *host;

451
            host = host_from_stream_offset(f, addr, flags);
452
453

            qemu_get_buffer(f, host, TARGET_PAGE_SIZE);
454
        }
455
456
457
        error = qemu_file_get_error(f);
        if (error) {
            return error;
458
459
460
461
462
463
464
        }
    } while (!(flags & RAM_SAVE_FLAG_EOS));

    return 0;
}

#ifdef HAS_AUDIO
465
466
467
468
469
470
struct soundhw {
    const char *name;
    const char *descr;
    int enabled;
    int isa;
    union {
471
        int (*init_isa) (ISABus *bus);
472
473
474
475
476
        int (*init_pci) (PCIBus *bus);
    } init;
};

static struct soundhw soundhw[] = {
477
#ifdef HAS_AUDIO_CHOICE
478
#ifdef CONFIG_PCSPK
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
    {
        "pcspk",
        "PC speaker",
        0,
        1,
        { .init_isa = pcspk_audio_init }
    },
#endif

#ifdef CONFIG_SB16
    {
        "sb16",
        "Creative Sound Blaster 16",
        0,
        1,
        { .init_isa = SB16_init }
    },
#endif

#ifdef CONFIG_CS4231A
    {
        "cs4231a",
        "CS4231A",
        0,
        1,
        { .init_isa = cs4231a_init }
    },
#endif

#ifdef CONFIG_ADLIB
    {
        "adlib",
#ifdef HAS_YMF262
        "Yamaha YMF262 (OPL3)",
#else
        "Yamaha YM3812 (OPL2)",
#endif
        0,
        1,
        { .init_isa = Adlib_init }
    },
#endif

#ifdef CONFIG_GUS
    {
        "gus",
        "Gravis Ultrasound GF1",
        0,
        1,
        { .init_isa = GUS_init }
    },
#endif

#ifdef CONFIG_AC97
    {
        "ac97",
        "Intel 82801AA AC97 Audio",
        0,
        0,
        { .init_pci = ac97_init }
    },
#endif

#ifdef CONFIG_ES1370
    {
        "es1370",
        "ENSONIQ AudioPCI ES1370",
        0,
        0,
        { .init_pci = es1370_init }
    },
#endif

552
553
554
555
556
557
558
559
560
561
#ifdef CONFIG_HDA
    {
        "hda",
        "Intel HD Audio",
        0,
        0,
        { .init_pci = intel_hda_and_codec_init }
    },
#endif

562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
#endif /* HAS_AUDIO_CHOICE */

    { NULL, NULL, 0, 0, { NULL } }
};

void select_soundhw(const char *optarg)
{
    struct soundhw *c;

    if (*optarg == '?') {
    show_valid_cards:

        printf("Valid sound card names (comma separated):\n");
        for (c = soundhw; c->name; ++c) {
            printf ("%-11s %s\n", c->name, c->descr);
        }
        printf("\n-soundhw all will enable all of the above\n");
        exit(*optarg != '?');
    }
    else {
        size_t l;
        const char *p;
        char *e;
        int bad_card = 0;

        if (!strcmp(optarg, "all")) {
            for (c = soundhw; c->name; ++c) {
                c->enabled = 1;
            }
            return;
        }

        p = optarg;
        while (*p) {
            e = strchr(p, ',');
            l = !e ? strlen(p) : (size_t) (e - p);

            for (c = soundhw; c->name; ++c) {
                if (!strncmp(c->name, p, l) && !c->name[l]) {
                    c->enabled = 1;
                    break;
                }
            }

            if (!c->name) {
                if (l > 80) {
                    fprintf(stderr,
                            "Unknown sound card name (too big to show)\n");
                }
                else {
                    fprintf(stderr, "Unknown sound card name `%.*s'\n",
                            (int) l, p);
                }
                bad_card = 1;
            }
            p += l + (e != NULL);
        }

        if (bad_card) {
            goto show_valid_cards;
        }
    }
}
625

626
void audio_init(ISABus *isa_bus, PCIBus *pci_bus)
627
628
629
630
631
632
{
    struct soundhw *c;

    for (c = soundhw; c->name; ++c) {
        if (c->enabled) {
            if (c->isa) {
633
634
                if (isa_bus) {
                    c->init.init_isa(isa_bus);
635
636
637
638
639
640
641
642
643
                }
            } else {
                if (pci_bus) {
                    c->init.init_pci(pci_bus);
                }
            }
        }
    }
}
644
645
646
647
#else
void select_soundhw(const char *optarg)
{
}
648
void audio_init(ISABus *isa_bus, PCIBus *pci_bus)
649
650
{
}
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
#endif

int qemu_uuid_parse(const char *str, uint8_t *uuid)
{
    int ret;

    if (strlen(str) != 36) {
        return -1;
    }

    ret = sscanf(str, UUID_FMT, &uuid[0], &uuid[1], &uuid[2], &uuid[3],
                 &uuid[4], &uuid[5], &uuid[6], &uuid[7], &uuid[8], &uuid[9],
                 &uuid[10], &uuid[11], &uuid[12], &uuid[13], &uuid[14],
                 &uuid[15]);

    if (ret != 16) {
        return -1;
    }
#ifdef TARGET_I386
    smbios_add_field(1, offsetof(struct smbios_type_1, uuid), 16, uuid);
#endif
    return 0;
}

void do_acpitable_option(const char *optarg)
{
#ifdef TARGET_I386
    if (acpi_table_add(optarg) < 0) {
        fprintf(stderr, "Wrong acpi table provided\n");
        exit(1);
    }
#endif
}

void do_smbios_option(const char *optarg)
{
#ifdef TARGET_I386
    if (smbios_entry_add(optarg) < 0) {
        fprintf(stderr, "Wrong smbios provided\n");
        exit(1);
    }
#endif
}

void cpudef_init(void)
{
#if defined(cpudef_setup)
    cpudef_setup(); /* parse cpu definitions in target config file */
#endif
}

int audio_available(void)
{
#ifdef HAS_AUDIO
    return 1;
#else
    return 0;
#endif
}

711
712
713
714
715
int tcg_available(void)
{
    return 1;
}

716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
int kvm_available(void)
{
#ifdef CONFIG_KVM
    return 1;
#else
    return 0;
#endif
}

int xen_available(void)
{
#ifdef CONFIG_XEN
    return 1;
#else
    return 0;
#endif
}