ref: b2f2a72f9c7d82cb50e4c5599b96f1fa8b23b5fc
dir: /main_plan9.c/
#include "llt.h"
extern uchar bootcode[];
extern ulong bootlen;
void
main(int argc, char **argv)
{
argv0 = argv[0];
setfcr(FPPDBL|FPRNR|FPOVFL);
tmfmtinstall();
*(uint32_t*)&F_PNAN = 0x7fc00000;
*(uint32_t*)&F_NNAN = 0xffc00000;
*(uint32_t*)&F_PINF = 0x7f800000;
*(uint32_t*)&F_NINF = 0xff800000;
flmain(bootcode, bootlen, argc, argv);
}