On 17/07/15 16:34, Ian Campbell wrote: > On Fri, 2015-07-17 at 16:15 +0100, Julien Grall wrote: > >>>> >>>> Also, you have to translate the col_id into to a VCPU ID. >>> >>> This is virtual collection id which itself is vcpu id. isn't it? >> >> No. A collection can move between CPU, so you will end up to have vCPUID >> != vCID. > > Specifically it is a TA (TargetAddress) and not a collection which is > equal to a VCPU ID (in our implementation, because we have chosen to > implement GITS_TYPER.PTA==0). > > A collection is mapped onto a TA by MAPC command. > > Thus some sort of record of which collection is mapped to which > TA(==vcpuid) is required.
Correct, I shouldn't have take shortcut while writing my previous mail. Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
