Brice Goglin, le Wed 29 Jan 2014 16:04:54 +0100, a écrit : > We may want to make inputbuffer and outputbuffer generic enough (void* + > length) so that the model works for other architectures one day?
Probably, yes. > Xen will know that they correspond to inputbuffer=one-register and > outputbuffer=four-registers when running on x86. It's actually already two-registers on x86, see cpuid calls which put cachenum in ecx. Perhaps ebx and edx would be used someday, who knows, so perhaps pass the four registers already. Samuel