> > + cat_cpu_init(smp_processor_id()); > > Do 'if (!cat_cpu_init(..)).`' > > as the CPU might not support this. > > At which point you should also free the cat_socket_info and
And also set cat_socket_info = NULL. > not register the cpu notifier. > > > + register_cpu_notifier(&cpu_nfb); _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
