neel e16d18eeb8 Use lapic_ipi_alloc() to dynamically allocate IPI slots needed by bhyve when ... vmm.ko is loaded. Also relocate the 'justreturn' IPI handler to be alongside all other handlers. Requested by: kib		2015-03-14 02:32:08 +00:00
..
Makefile