version 1.58.6.4, 2008/01/10 23:43:22 |
version 1.58.6.5, 2008/01/13 11:26:56 |
Line 192 __KERNEL_RCSID(0, "$NetBSD$"); |
|
Line 192 __KERNEL_RCSID(0, "$NetBSD$"); |
|
.ascii ",HYPERCALL_PAGE=0x00000101" |
.ascii ",HYPERCALL_PAGE=0x00000101" |
/* (???+HYPERCALL_PAGE_OFFSET)/PAGE_SIZE) */ |
/* (???+HYPERCALL_PAGE_OFFSET)/PAGE_SIZE) */ |
#endif |
#endif |
|
#ifdef PAE |
|
.ascii ",PAE=yes[extended-cr3]" |
|
#endif |
#else /* !XEN3 */ |
#else /* !XEN3 */ |
.ascii "GUEST_OS=netbsd,GUEST_VER=2.0,XEN_VER=2.0" |
.ascii "GUEST_OS=netbsd,GUEST_VER=2.0,XEN_VER=2.0" |
#endif /* XEN3 */ |
#endif /* XEN3 */ |