x86_cache_t
xpv_cache(cmi_hdl_impl_t *hdl, uint32_t cno, x86_cache_t *cachep)
cmi_errno_t (*cmio_cache)(cmi_hdl_impl_t *, uint32_t, x86_cache_t *);
cmi_cache_info(cmi_hdl_t hdl, uint32_t cno, x86_cache_t *cachep)
ntv_cache(cmi_hdl_impl_t *hdl, uint32_t cno, x86_cache_t *cachep)
x86_cache_t c;
cpuid_getcache(struct cpu *cpu, uint32_t cno, x86_cache_t *cache)
bzero(cache, sizeof (x86_cache_t));
extern cmi_errno_t cmi_cache_info(cmi_hdl_t, uint32_t, x86_cache_t *);
extern int cpuid_getcache(struct cpu *, uint32_t, x86_cache_t *);