First of all, hello everyone. I'm completely new to FreeBSD (not to BSD). I need to use something like arm_sync_icache(2) on OpenBSD and NetBSD. I'd find what I think I need in machine/cpufunc.h, but the linker can't find any function symbol. I suppose I have to pass a lib to the linker, but no idea which one. Some help? Thanks in advance, adr.