perf: Use a user_data blob for perf_event (XCC)
[akaros.git] / kern / arch / x86 / mptables.h
1 #pragma once
2
3 int mpacpi(int ncleft);
4 int mpsinit(int maxcores);