Available_regs
Available registers analysis used to determine which variables may be shown in the debugger.
val fundecl : Mach.fundecl -> Mach.fundecl