Symbol: fdtbus_put_interrupt_cookie
sys/dev/fdt/fdt_intr.c
312
fdtbus_put_interrupt_cookie(c);
sys/dev/fdt/fdt_intr.c
332
fdtbus_put_interrupt_cookie(c);