Symbol: haiku_dummy_ipi
src/add-ons/kernel/drivers/nvmm/nvmm_os.h
542
haiku_dummy_ipi(void*, int)
src/libs/nvmm/driver/nvmm_os.h
542
haiku_dummy_ipi(void*, int)