Lines Matching defs:rec
471 val rec'PSR_def = Def
472 ("rec'PSR",Var("x",F32),
525 val write'rec'PSR_def = Def
526 ("write'rec'PSR",TP[AVar F32,Var("x",CTy"PSR")],
531 Call("rec'PSR",CTy"PSR",Var("x",F32)))
533 val rec'SCTLR_def = Def
534 ("rec'SCTLR",Var("x",F32),
610 val write'rec'SCTLR_def = Def
611 ("write'rec'SCTLR",TP[AVar F32,Var("x",CTy"SCTLR")],
616 Call("rec'SCTLR",CTy"SCTLR",Var("x",F32)))
618 val rec'HSCTLR_def = Def
619 ("rec'HSCTLR",Var("x",F32),
697 val write'rec'HSCTLR_def = Def
698 ("write'rec'HSCTLR",TP[AVar F32,Var("x",CTy"HSCTLR")],
703 Call("rec'HSCTLR",CTy"HSCTLR",Var("x",F32)))
705 val rec'HSR_def = Def
706 ("rec'HSR",Var("x",F32),
751 val write'rec'HSR_def = Def
752 ("write'rec'HSR",TP[AVar F32,Var("x",CTy"HSR")],
757 Call("rec'HSR",CTy"HSR",Var("x",F32)))
759 val rec'SCR_def = Def
760 ("rec'SCR",Var("x",F32),
822 val write'rec'SCR_def = Def
823 ("write'rec'SCR",TP[AVar F32,Var("x",CTy"SCR")],
828 Call("rec'SCR",CTy"SCR",Var("x",F32)))
830 val rec'NSACR_def = Def
831 ("rec'NSACR",Var("x",F32),
895 val write'rec'NSACR_def = Def
896 ("write'rec'NSACR",TP[AVar F32,Var("x",CTy"NSACR")],
901 Call("rec'NSACR",CTy"NSACR",Var("x",F32)))
903 val rec'HCR_def = Def
904 ("rec'HCR",Var("x",F32),
964 val write'rec'HCR_def = Def
965 ("write'rec'HCR",TP[AVar F32,Var("x",CTy"HCR")],
970 Call("rec'HCR",CTy"HCR",Var("x",F32)))