NetBSD/sys/arch/evbarm/include/profile.h