cpuid_getncaches
int ret = cpuid_getncaches(HDLPRIV(hdl), ncache);
extern int cpuid_getncaches(struct cpu *, uint32_t *);