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
}