ref: 2973e8e333235d7eb8f97e2ce0c4495f9301b0ce dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"