Lines Matching defs:rec
389 val rec'TCR_EL1_def = Def
390 ("rec'TCR_EL1",Var("x",F64),
404 val write'rec'TCR_EL1_def = Def
405 ("write'rec'TCR_EL1",TP[AVar F64,Var("x",CTy"TCR_EL1")],
410 Call("rec'TCR_EL1",CTy"TCR_EL1",Var("x",F64)))
412 val rec'TCR_EL2_EL3_def = Def
413 ("rec'TCR_EL2_EL3",Var("x",F32),
427 val write'rec'TCR_EL2_EL3_def = Def
428 ("write'rec'TCR_EL2_EL3",TP[AVar F32,Var("x",CTy"TCR_EL2_EL3")],
433 Call("rec'TCR_EL2_EL3",CTy"TCR_EL2_EL3",Var("x",F32)))
435 val rec'SCTLRType_def = Def
436 ("rec'SCTLRType",Var("x",F32),
459 val write'rec'SCTLRType_def = Def
460 ("write'rec'SCTLRType",TP[AVar F32,Var("x",CTy"SCTLRType")],
465 Call("rec'SCTLRType",CTy"SCTLRType",Var("x",F32)))