]> git.proxmox.com Git - qemu.git/blob - arch_init.c
target-or32: Add int instruction helpers
[qemu.git] / arch_init.c
1 /*
2 * QEMU System Emulator
3 *
4 * Copyright (c) 2003-2008 Fabrice Bellard
5 *
6 * Permission is hereby granted, free of charge, to any person obtaining a copy
7 * of this software and associated documentation files (the "Software"), to deal
8 * in the Software without restriction, including without limitation the rights
9 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 * copies of the Software, and to permit persons to whom the Software is
11 * furnished to do so, subject to the following conditions:
12 *
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
15 *
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22 * THE SOFTWARE.
23 */
24 #include <stdint.h>
25 #include <stdarg.h>
26 #include <stdlib.h>
27 #ifndef _WIN32
28 #include <sys/types.h>
29 #include <sys/mman.h>
30 #endif
31 #include "config.h"
32 #include "monitor.h"
33 #include "sysemu.h"
34 #include "arch_init.h"
35 #include "audio/audio.h"
36 #include "hw/pc.h"
37 #include "hw/pci.h"
38 #include "hw/audiodev.h"
39 #include "kvm.h"
40 #include "migration.h"
41 #include "net.h"
42 #include "gdbstub.h"
43 #include "hw/smbios.h"
44 #include "exec-memory.h"
45 #include "hw/pcspk.h"
46
47 #ifdef DEBUG_ARCH_INIT
48 #define DPRINTF(fmt, ...) \
49 do { fprintf(stdout, "arch_init: " fmt, ## __VA_ARGS__); } while (0)
50 #else
51 #define DPRINTF(fmt, ...) \
52 do { } while (0)
53 #endif
54
55 #ifdef TARGET_SPARC
56 int graphic_width = 1024;
57 int graphic_height = 768;
58 int graphic_depth = 8;
59 #else
60 int graphic_width = 800;
61 int graphic_height = 600;
62 int graphic_depth = 15;
63 #endif
64
65
66 #if defined(TARGET_ALPHA)
67 #define QEMU_ARCH QEMU_ARCH_ALPHA
68 #elif defined(TARGET_ARM)
69 #define QEMU_ARCH QEMU_ARCH_ARM
70 #elif defined(TARGET_CRIS)
71 #define QEMU_ARCH QEMU_ARCH_CRIS
72 #elif defined(TARGET_I386)
73 #define QEMU_ARCH QEMU_ARCH_I386
74 #elif defined(TARGET_M68K)
75 #define QEMU_ARCH QEMU_ARCH_M68K
76 #elif defined(TARGET_LM32)
77 #define QEMU_ARCH QEMU_ARCH_LM32
78 #elif defined(TARGET_MICROBLAZE)
79 #define QEMU_ARCH QEMU_ARCH_MICROBLAZE
80 #elif defined(TARGET_MIPS)
81 #define QEMU_ARCH QEMU_ARCH_MIPS
82 #elif defined(TARGET_OPENRISC)
83 #define QEMU_ARCH QEMU_ARCH_OPENRISC
84 #elif defined(TARGET_PPC)
85 #define QEMU_ARCH QEMU_ARCH_PPC
86 #elif defined(TARGET_S390X)
87 #define QEMU_ARCH QEMU_ARCH_S390X
88 #elif defined(TARGET_SH4)
89 #define QEMU_ARCH QEMU_ARCH_SH4
90 #elif defined(TARGET_SPARC)
91 #define QEMU_ARCH QEMU_ARCH_SPARC
92 #elif defined(TARGET_XTENSA)
93 #define QEMU_ARCH QEMU_ARCH_XTENSA
94 #endif
95
96 const uint32_t arch_type = QEMU_ARCH;
97
98 /***********************************************************/
99 /* ram save/restore */
100
101 #define RAM_SAVE_FLAG_FULL 0x01 /* Obsolete, not used anymore */
102 #define RAM_SAVE_FLAG_COMPRESS 0x02
103 #define RAM_SAVE_FLAG_MEM_SIZE 0x04
104 #define RAM_SAVE_FLAG_PAGE 0x08
105 #define RAM_SAVE_FLAG_EOS 0x10
106 #define RAM_SAVE_FLAG_CONTINUE 0x20
107
108 #ifdef __ALTIVEC__
109 #include <altivec.h>
110 #define VECTYPE vector unsigned char
111 #define SPLAT(p) vec_splat(vec_ld(0, p), 0)
112 #define ALL_EQ(v1, v2) vec_all_eq(v1, v2)
113 /* altivec.h may redefine the bool macro as vector type.
114 * Reset it to POSIX semantics. */
115 #undef bool
116 #define bool _Bool
117 #elif defined __SSE2__
118 #include <emmintrin.h>
119 #define VECTYPE __m128i
120 #define SPLAT(p) _mm_set1_epi8(*(p))
121 #define ALL_EQ(v1, v2) (_mm_movemask_epi8(_mm_cmpeq_epi8(v1, v2)) == 0xFFFF)
122 #else
123 #define VECTYPE unsigned long
124 #define SPLAT(p) (*(p) * (~0UL / 255))
125 #define ALL_EQ(v1, v2) ((v1) == (v2))
126 #endif
127
128
129 static struct defconfig_file {
130 const char *filename;
131 /* Indicates it is an user config file (disabled by -no-user-config) */
132 bool userconfig;
133 } default_config_files[] = {
134 { CONFIG_QEMU_DATADIR "/cpus-" TARGET_ARCH ".conf", false },
135 { CONFIG_QEMU_CONFDIR "/qemu.conf", true },
136 { CONFIG_QEMU_CONFDIR "/target-" TARGET_ARCH ".conf", true },
137 { NULL }, /* end of list */
138 };
139
140
141 int qemu_read_default_config_files(bool userconfig)
142 {
143 int ret;
144 struct defconfig_file *f;
145
146 for (f = default_config_files; f->filename; f++) {
147 if (!userconfig && f->userconfig) {
148 continue;
149 }
150 ret = qemu_read_config_file(f->filename);
151 if (ret < 0 && ret != -ENOENT) {
152 return ret;
153 }
154 }
155
156 return 0;
157 }
158
159 static int is_dup_page(uint8_t *page)
160 {
161 VECTYPE *p = (VECTYPE *)page;
162 VECTYPE val = SPLAT(page);
163 int i;
164
165 for (i = 0; i < TARGET_PAGE_SIZE / sizeof(VECTYPE); i++) {
166 if (!ALL_EQ(val, p[i])) {
167 return 0;
168 }
169 }
170
171 return 1;
172 }
173
174 static void save_block_hdr(QEMUFile *f, RAMBlock *block, ram_addr_t offset,
175 int cont, int flag)
176 {
177 qemu_put_be64(f, offset | cont | flag);
178 if (!cont) {
179 qemu_put_byte(f, strlen(block->idstr));
180 qemu_put_buffer(f, (uint8_t *)block->idstr,
181 strlen(block->idstr));
182 }
183
184 }
185
186 static RAMBlock *last_block;
187 static ram_addr_t last_offset;
188
189 static int ram_save_block(QEMUFile *f)
190 {
191 RAMBlock *block = last_block;
192 ram_addr_t offset = last_offset;
193 int bytes_sent = 0;
194 MemoryRegion *mr;
195
196 if (!block)
197 block = QLIST_FIRST(&ram_list.blocks);
198
199 do {
200 mr = block->mr;
201 if (memory_region_get_dirty(mr, offset, TARGET_PAGE_SIZE,
202 DIRTY_MEMORY_MIGRATION)) {
203 uint8_t *p;
204 int cont = (block == last_block) ? RAM_SAVE_FLAG_CONTINUE : 0;
205
206 memory_region_reset_dirty(mr, offset, TARGET_PAGE_SIZE,
207 DIRTY_MEMORY_MIGRATION);
208
209 p = memory_region_get_ram_ptr(mr) + offset;
210
211 if (is_dup_page(p)) {
212 save_block_hdr(f, block, offset, cont, RAM_SAVE_FLAG_COMPRESS);
213 qemu_put_byte(f, *p);
214 bytes_sent = 1;
215 } else {
216 save_block_hdr(f, block, offset, cont, RAM_SAVE_FLAG_PAGE);
217 qemu_put_buffer(f, p, TARGET_PAGE_SIZE);
218 bytes_sent = TARGET_PAGE_SIZE;
219 }
220
221 break;
222 }
223
224 offset += TARGET_PAGE_SIZE;
225 if (offset >= block->length) {
226 offset = 0;
227 block = QLIST_NEXT(block, next);
228 if (!block)
229 block = QLIST_FIRST(&ram_list.blocks);
230 }
231 } while (block != last_block || offset != last_offset);
232
233 last_block = block;
234 last_offset = offset;
235
236 return bytes_sent;
237 }
238
239 static uint64_t bytes_transferred;
240
241 static ram_addr_t ram_save_remaining(void)
242 {
243 return ram_list.dirty_pages;
244 }
245
246 uint64_t ram_bytes_remaining(void)
247 {
248 return ram_save_remaining() * TARGET_PAGE_SIZE;
249 }
250
251 uint64_t ram_bytes_transferred(void)
252 {
253 return bytes_transferred;
254 }
255
256 uint64_t ram_bytes_total(void)
257 {
258 RAMBlock *block;
259 uint64_t total = 0;
260
261 QLIST_FOREACH(block, &ram_list.blocks, next)
262 total += block->length;
263
264 return total;
265 }
266
267 static int block_compar(const void *a, const void *b)
268 {
269 RAMBlock * const *ablock = a;
270 RAMBlock * const *bblock = b;
271
272 return strcmp((*ablock)->idstr, (*bblock)->idstr);
273 }
274
275 static void sort_ram_list(void)
276 {
277 RAMBlock *block, *nblock, **blocks;
278 int n;
279 n = 0;
280 QLIST_FOREACH(block, &ram_list.blocks, next) {
281 ++n;
282 }
283 blocks = g_malloc(n * sizeof *blocks);
284 n = 0;
285 QLIST_FOREACH_SAFE(block, &ram_list.blocks, next, nblock) {
286 blocks[n++] = block;
287 QLIST_REMOVE(block, next);
288 }
289 qsort(blocks, n, sizeof *blocks, block_compar);
290 while (--n >= 0) {
291 QLIST_INSERT_HEAD(&ram_list.blocks, blocks[n], next);
292 }
293 g_free(blocks);
294 }
295
296 static void migration_end(void)
297 {
298 memory_global_dirty_log_stop();
299 }
300
301 #define MAX_WAIT 50 /* ms, half buffered_file limit */
302
303 int ram_save_live(QEMUFile *f, int stage, void *opaque)
304 {
305 ram_addr_t addr;
306 uint64_t bytes_transferred_last;
307 double bwidth = 0;
308 int ret;
309 int i;
310
311 if (stage < 0) {
312 migration_end();
313 return 0;
314 }
315
316 memory_global_sync_dirty_bitmap(get_system_memory());
317
318 if (stage == 1) {
319 RAMBlock *block;
320 bytes_transferred = 0;
321 last_block = NULL;
322 last_offset = 0;
323 sort_ram_list();
324
325 /* Make sure all dirty bits are set */
326 QLIST_FOREACH(block, &ram_list.blocks, next) {
327 for (addr = 0; addr < block->length; addr += TARGET_PAGE_SIZE) {
328 if (!memory_region_get_dirty(block->mr, addr, TARGET_PAGE_SIZE,
329 DIRTY_MEMORY_MIGRATION)) {
330 memory_region_set_dirty(block->mr, addr, TARGET_PAGE_SIZE);
331 }
332 }
333 }
334
335 memory_global_dirty_log_start();
336
337 qemu_put_be64(f, ram_bytes_total() | RAM_SAVE_FLAG_MEM_SIZE);
338
339 QLIST_FOREACH(block, &ram_list.blocks, next) {
340 qemu_put_byte(f, strlen(block->idstr));
341 qemu_put_buffer(f, (uint8_t *)block->idstr, strlen(block->idstr));
342 qemu_put_be64(f, block->length);
343 }
344 }
345
346 bytes_transferred_last = bytes_transferred;
347 bwidth = qemu_get_clock_ns(rt_clock);
348
349 i = 0;
350 while ((ret = qemu_file_rate_limit(f)) == 0) {
351 int bytes_sent;
352
353 bytes_sent = ram_save_block(f);
354 bytes_transferred += bytes_sent;
355 if (bytes_sent == 0) { /* no more blocks */
356 break;
357 }
358 /* we want to check in the 1st loop, just in case it was the 1st time
359 and we had to sync the dirty bitmap.
360 qemu_get_clock_ns() is a bit expensive, so we only check each some
361 iterations
362 */
363 if ((i & 63) == 0) {
364 uint64_t t1 = (qemu_get_clock_ns(rt_clock) - bwidth) / 1000000;
365 if (t1 > MAX_WAIT) {
366 DPRINTF("big wait: " PRIu64 " milliseconds, %d iterations\n",
367 t1, i);
368 break;
369 }
370 }
371 i++;
372 }
373
374 if (ret < 0) {
375 return ret;
376 }
377
378 bwidth = qemu_get_clock_ns(rt_clock) - bwidth;
379 bwidth = (bytes_transferred - bytes_transferred_last) / bwidth;
380
381 /* if we haven't transferred anything this round, force expected_time to a
382 * a very high value, but without crashing */
383 if (bwidth == 0) {
384 bwidth = 0.000001;
385 }
386
387 /* try transferring iterative blocks of memory */
388 if (stage == 3) {
389 int bytes_sent;
390
391 /* flush all remaining blocks regardless of rate limiting */
392 while ((bytes_sent = ram_save_block(f)) != 0) {
393 bytes_transferred += bytes_sent;
394 }
395 memory_global_dirty_log_stop();
396 }
397
398 qemu_put_be64(f, RAM_SAVE_FLAG_EOS);
399
400 if (stage == 2) {
401 uint64_t expected_time;
402 expected_time = ram_save_remaining() * TARGET_PAGE_SIZE / bwidth;
403
404 DPRINTF("ram_save_live: expected(" PRIu64 ") <= max(" PRIu64 ")?\n",
405 expected_time, migrate_max_downtime());
406
407 return expected_time <= migrate_max_downtime();
408 }
409 return 0;
410 }
411
412 static inline void *host_from_stream_offset(QEMUFile *f,
413 ram_addr_t offset,
414 int flags)
415 {
416 static RAMBlock *block = NULL;
417 char id[256];
418 uint8_t len;
419
420 if (flags & RAM_SAVE_FLAG_CONTINUE) {
421 if (!block) {
422 fprintf(stderr, "Ack, bad migration stream!\n");
423 return NULL;
424 }
425
426 return memory_region_get_ram_ptr(block->mr) + offset;
427 }
428
429 len = qemu_get_byte(f);
430 qemu_get_buffer(f, (uint8_t *)id, len);
431 id[len] = 0;
432
433 QLIST_FOREACH(block, &ram_list.blocks, next) {
434 if (!strncmp(id, block->idstr, sizeof(id)))
435 return memory_region_get_ram_ptr(block->mr) + offset;
436 }
437
438 fprintf(stderr, "Can't find block %s!\n", id);
439 return NULL;
440 }
441
442 int ram_load(QEMUFile *f, void *opaque, int version_id)
443 {
444 ram_addr_t addr;
445 int flags, ret = 0;
446 int error;
447 static uint64_t seq_iter;
448
449 seq_iter++;
450
451 if (version_id < 4 || version_id > 4) {
452 return -EINVAL;
453 }
454
455 do {
456 addr = qemu_get_be64(f);
457
458 flags = addr & ~TARGET_PAGE_MASK;
459 addr &= TARGET_PAGE_MASK;
460
461 if (flags & RAM_SAVE_FLAG_MEM_SIZE) {
462 if (version_id == 4) {
463 /* Synchronize RAM block list */
464 char id[256];
465 ram_addr_t length;
466 ram_addr_t total_ram_bytes = addr;
467
468 while (total_ram_bytes) {
469 RAMBlock *block;
470 uint8_t len;
471
472 len = qemu_get_byte(f);
473 qemu_get_buffer(f, (uint8_t *)id, len);
474 id[len] = 0;
475 length = qemu_get_be64(f);
476
477 QLIST_FOREACH(block, &ram_list.blocks, next) {
478 if (!strncmp(id, block->idstr, sizeof(id))) {
479 if (block->length != length) {
480 ret = -EINVAL;
481 goto done;
482 }
483 break;
484 }
485 }
486
487 if (!block) {
488 fprintf(stderr, "Unknown ramblock \"%s\", cannot "
489 "accept migration\n", id);
490 ret = -EINVAL;
491 goto done;
492 }
493
494 total_ram_bytes -= length;
495 }
496 }
497 }
498
499 if (flags & RAM_SAVE_FLAG_COMPRESS) {
500 void *host;
501 uint8_t ch;
502
503 host = host_from_stream_offset(f, addr, flags);
504 if (!host) {
505 return -EINVAL;
506 }
507
508 ch = qemu_get_byte(f);
509 memset(host, ch, TARGET_PAGE_SIZE);
510 #ifndef _WIN32
511 if (ch == 0 &&
512 (!kvm_enabled() || kvm_has_sync_mmu())) {
513 qemu_madvise(host, TARGET_PAGE_SIZE, QEMU_MADV_DONTNEED);
514 }
515 #endif
516 } else if (flags & RAM_SAVE_FLAG_PAGE) {
517 void *host;
518
519 host = host_from_stream_offset(f, addr, flags);
520 if (!host) {
521 return -EINVAL;
522 }
523
524 qemu_get_buffer(f, host, TARGET_PAGE_SIZE);
525 }
526 error = qemu_file_get_error(f);
527 if (error) {
528 ret = error;
529 goto done;
530 }
531 } while (!(flags & RAM_SAVE_FLAG_EOS));
532
533 done:
534 DPRINTF("Completed load of VM with exit code %d seq iteration " PRIu64 "\n",
535 ret, seq_iter);
536 return ret;
537 }
538
539 #ifdef HAS_AUDIO
540 struct soundhw {
541 const char *name;
542 const char *descr;
543 int enabled;
544 int isa;
545 union {
546 int (*init_isa) (ISABus *bus);
547 int (*init_pci) (PCIBus *bus);
548 } init;
549 };
550
551 static struct soundhw soundhw[] = {
552 #ifdef HAS_AUDIO_CHOICE
553 #ifdef CONFIG_PCSPK
554 {
555 "pcspk",
556 "PC speaker",
557 0,
558 1,
559 { .init_isa = pcspk_audio_init }
560 },
561 #endif
562
563 #ifdef CONFIG_SB16
564 {
565 "sb16",
566 "Creative Sound Blaster 16",
567 0,
568 1,
569 { .init_isa = SB16_init }
570 },
571 #endif
572
573 #ifdef CONFIG_CS4231A
574 {
575 "cs4231a",
576 "CS4231A",
577 0,
578 1,
579 { .init_isa = cs4231a_init }
580 },
581 #endif
582
583 #ifdef CONFIG_ADLIB
584 {
585 "adlib",
586 #ifdef HAS_YMF262
587 "Yamaha YMF262 (OPL3)",
588 #else
589 "Yamaha YM3812 (OPL2)",
590 #endif
591 0,
592 1,
593 { .init_isa = Adlib_init }
594 },
595 #endif
596
597 #ifdef CONFIG_GUS
598 {
599 "gus",
600 "Gravis Ultrasound GF1",
601 0,
602 1,
603 { .init_isa = GUS_init }
604 },
605 #endif
606
607 #ifdef CONFIG_AC97
608 {
609 "ac97",
610 "Intel 82801AA AC97 Audio",
611 0,
612 0,
613 { .init_pci = ac97_init }
614 },
615 #endif
616
617 #ifdef CONFIG_ES1370
618 {
619 "es1370",
620 "ENSONIQ AudioPCI ES1370",
621 0,
622 0,
623 { .init_pci = es1370_init }
624 },
625 #endif
626
627 #ifdef CONFIG_HDA
628 {
629 "hda",
630 "Intel HD Audio",
631 0,
632 0,
633 { .init_pci = intel_hda_and_codec_init }
634 },
635 #endif
636
637 #endif /* HAS_AUDIO_CHOICE */
638
639 { NULL, NULL, 0, 0, { NULL } }
640 };
641
642 void select_soundhw(const char *optarg)
643 {
644 struct soundhw *c;
645
646 if (*optarg == '?') {
647 show_valid_cards:
648
649 printf("Valid sound card names (comma separated):\n");
650 for (c = soundhw; c->name; ++c) {
651 printf ("%-11s %s\n", c->name, c->descr);
652 }
653 printf("\n-soundhw all will enable all of the above\n");
654 exit(*optarg != '?');
655 }
656 else {
657 size_t l;
658 const char *p;
659 char *e;
660 int bad_card = 0;
661
662 if (!strcmp(optarg, "all")) {
663 for (c = soundhw; c->name; ++c) {
664 c->enabled = 1;
665 }
666 return;
667 }
668
669 p = optarg;
670 while (*p) {
671 e = strchr(p, ',');
672 l = !e ? strlen(p) : (size_t) (e - p);
673
674 for (c = soundhw; c->name; ++c) {
675 if (!strncmp(c->name, p, l) && !c->name[l]) {
676 c->enabled = 1;
677 break;
678 }
679 }
680
681 if (!c->name) {
682 if (l > 80) {
683 fprintf(stderr,
684 "Unknown sound card name (too big to show)\n");
685 }
686 else {
687 fprintf(stderr, "Unknown sound card name `%.*s'\n",
688 (int) l, p);
689 }
690 bad_card = 1;
691 }
692 p += l + (e != NULL);
693 }
694
695 if (bad_card) {
696 goto show_valid_cards;
697 }
698 }
699 }
700
701 void audio_init(ISABus *isa_bus, PCIBus *pci_bus)
702 {
703 struct soundhw *c;
704
705 for (c = soundhw; c->name; ++c) {
706 if (c->enabled) {
707 if (c->isa) {
708 if (isa_bus) {
709 c->init.init_isa(isa_bus);
710 }
711 } else {
712 if (pci_bus) {
713 c->init.init_pci(pci_bus);
714 }
715 }
716 }
717 }
718 }
719 #else
720 void select_soundhw(const char *optarg)
721 {
722 }
723 void audio_init(ISABus *isa_bus, PCIBus *pci_bus)
724 {
725 }
726 #endif
727
728 int qemu_uuid_parse(const char *str, uint8_t *uuid)
729 {
730 int ret;
731
732 if (strlen(str) != 36) {
733 return -1;
734 }
735
736 ret = sscanf(str, UUID_FMT, &uuid[0], &uuid[1], &uuid[2], &uuid[3],
737 &uuid[4], &uuid[5], &uuid[6], &uuid[7], &uuid[8], &uuid[9],
738 &uuid[10], &uuid[11], &uuid[12], &uuid[13], &uuid[14],
739 &uuid[15]);
740
741 if (ret != 16) {
742 return -1;
743 }
744 #ifdef TARGET_I386
745 smbios_add_field(1, offsetof(struct smbios_type_1, uuid), 16, uuid);
746 #endif
747 return 0;
748 }
749
750 void do_acpitable_option(const char *optarg)
751 {
752 #ifdef TARGET_I386
753 if (acpi_table_add(optarg) < 0) {
754 fprintf(stderr, "Wrong acpi table provided\n");
755 exit(1);
756 }
757 #endif
758 }
759
760 void do_smbios_option(const char *optarg)
761 {
762 #ifdef TARGET_I386
763 if (smbios_entry_add(optarg) < 0) {
764 fprintf(stderr, "Wrong smbios provided\n");
765 exit(1);
766 }
767 #endif
768 }
769
770 void cpudef_init(void)
771 {
772 #if defined(cpudef_setup)
773 cpudef_setup(); /* parse cpu definitions in target config file */
774 #endif
775 }
776
777 int audio_available(void)
778 {
779 #ifdef HAS_AUDIO
780 return 1;
781 #else
782 return 0;
783 #endif
784 }
785
786 int tcg_available(void)
787 {
788 return 1;
789 }
790
791 int kvm_available(void)
792 {
793 #ifdef CONFIG_KVM
794 return 1;
795 #else
796 return 0;
797 #endif
798 }
799
800 int xen_available(void)
801 {
802 #ifdef CONFIG_XEN
803 return 1;
804 #else
805 return 0;
806 #endif
807 }