ivhd0 IO_PAGE_FAULT EVT with external disk

Hi,

I grabbed an external USB drive from an Intel machine and put it to an AMD host
using it to boot directly from it like:
         -s 3,ahci-hd,/dev/da0,sectorsize=512 \

On the AMD machine this doesn't work and I get a lot of:

ivhd0: EVT INTR 45 Status:0x1a EVT Head:0xfb0 Tail:0x430]^M
   [CMD Total 0xaf] Tail:0xaf0, Head:0xaf0.^M
ivhd0:  [Event0: Head:0xfb0 Tail:0x440]^M
         [IO_PAGE_FAULT EVT: devId:0x80 DomId:0x0 Addr:0xaa4cf410 0x20<RW>]^M
ivhd0:  [Event1: Head:0xfc0 Tail:0x460]^M
         [IO_PAGE_FAULT EVT: devId:0x80 DomId:0x0 Addr:0xaa4ce010 0x20<RW>]^M
ivhd0:  [Event2: Head:0xfd0 Tail:0x470]^M
         [IO_PAGE_FAULT EVT: devId:0x80 DomId:0x0 Addr:0xaa5c4000 0x20<RW>]^M
ivhd0:  [Event3: Head:0xfe0 Tail:0x470]^M
         [IO_PAGE_FAULT EVT: devId:0x80 DomId:0x0 Addr:0xaa4cf410 0x20<RW>]^M
ivhd0:  [Event4: Head:0xff0 Tail:0x470]^M
         [IO_PAGE_FAULT EVT: devId:0x80 DomId:0x0 Addr:0xaa5c4000 0x20<RW>]^M
ivhd0:  [Event5: Head:0x0 Tail:0x470]^M
         [IO_PAGE_FAULT EVT: devId:0x80 DomId:0x0 Addr:0xaa4cfa90 0x20<RW>]^M
...


Is this in theory supposed to work?  Does this in any way depend on the USB
port used or are we simply working on the device node?

/bz

-- 
Bjoern A. Zeeb                                                     r15:7