xenbits.xensource.com Git - xcp/xen-api-libs.git/commit

]> xenbits.xensource.com Git - xcp/xen-api-libs.git/commit

projects / xcp / xen-api-libs.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: fe81f8d) | patch

author	Rob Hoes <rob.hoes@citrix.com>
	Mon, 29 Mar 2010 09:47:47 +0000 (10:47 +0100)
committer	Rob Hoes <rob.hoes@citrix.com>
	Mon, 29 Mar 2010 09:47:47 +0000 (10:47 +0100)
commit	9501b532080fc7c5d1637f9fde26e816378ea0bf
tree	0bc387ec130cbcdf8386ed57cc61e647478cca9d	tree
parent	fe81f8d442da9278d622a74ca9182d2aea93c1f0	commit \| diff

Add Cpuid.features_mask function.

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>

cpuid/cpuid.ml		diff \| blob \| blame \| history
cpuid/cpuid.mli		diff \| blob \| blame \| history

Unnamed repository; edit this file to name it for gitweb.