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