HomeFreeBSD

linuxkpi: Define `synchronize_hardirq()`