Update linux_compat.h so mlx4 could compile later
[akaros.git] / arch
1 kern/arch/