bcopy_io
bcopy_io(sc_vtb_pointer(vtb, from),
bcopy_io(sc_vtb_pointer(vtb, at + count),
bcopy_io(sc_vtb_pointer(vtb, at),