X_MP_MAXCPUS
ret = kread_symbol(kvm, X_MP_MAXCPUS, &mp_maxcpus,
ret = kread_symbol(kvm, X_MP_MAXCPUS, &mp_maxcpus, sizeof(mp_maxcpus),