Displaying 2 results from an estimated 2 matches for "vcpu_itc_d".
2005 May 13
0
RE: RE: [Xen-ia64-devel] Paravirtualized xenlinux/ia64available
...or... ski environment needs some change? The
command
>to start ski is:
> "ski bootloader xen paralinux nomca simscsi=`pwd`/sd"
>
> Here paralinux is built upon
>bk://xen-ia64.bkbits.net/xenlinux-ia64-2.6.11.bk.
>
> BTW, just saw a small bug in vcpu.c:
>IA64FAULT vcpu_itc_d(VCPU *vcpu, UINT64
> ...
> if (((itir & ~0xfc) >> 2) < PAGE_SHIFT) {
>Should be:
> if (((itir & 0xfc) >> 2) < PAGE_SHIFT) {
>
>Thanks,
>Kevin
>>-----Original Message-----
>>From: xen-ia64-devel-bounces@lists.xensource.com
>&...
2005 May 13
0
RE: [Xen-ia64-devel] Paravirtualized xenlinux/ia64 available
...ronment needs some change?
> The command
> to start ski is:
> "ski bootloader xen paralinux nomca simscsi=`pwd`/sd"
>
> Here paralinux is built upon
> bk://xen-ia64.bkbits.net/xenlinux-ia64-2.6.11.bk.
>
> BTW, just saw a small bug in vcpu.c:
> IA64FAULT vcpu_itc_d(VCPU *vcpu, UINT64
> ...
> if (((itir & ~0xfc) >> 2) < PAGE_SHIFT) {
> Should be:
> if (((itir & 0xfc) >> 2) < PAGE_SHIFT) {
>
> Thanks,
> Kevin
> >-----Original Message-----
> >From: xen-ia64-devel-bounces@lists.xensource....