Fix a mistake that crept in when moving between git and svn, pic_ipi_send

should not be called from platform_mp_init_secondary.

Sponsored by:	ABT Systems Ltd
This commit is contained in:
Andrew Turner 2016-02-25 22:13:43 +00:00
parent 73465ff7c7
commit 6daa2c8751
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=296070

View File

@ -103,5 +103,4 @@ platform_mp_init_secondary(void)
{
intr_pic_init_secondary();
pic_ipi_send(cpus, ipi);
}