kern/arch/x86/mptables.h

#pragma once

int mpacpi(int ncleft);
int mpsinit(int maxcores);