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