Lines Matching defs:rec
516 fun rec'PRIMASK x =
524 fun write'rec'PRIMASK (_,x) = reg'PRIMASK x;
526 fun write'reg'PRIMASK (_,x) = rec'PRIMASK x;
528 fun rec'PSR x =
543 fun write'rec'PSR (_,x) = reg'PSR x;
545 fun write'reg'PSR (_,x) = rec'PSR x;
547 fun rec'CONTROL x =
558 fun write'rec'CONTROL (_,x) = reg'CONTROL x;
560 fun write'reg'CONTROL (_,x) = rec'CONTROL x;
562 fun rec'AIRCR x =
577 fun write'rec'AIRCR (_,x) = reg'AIRCR x;
579 fun write'reg'AIRCR (_,x) = rec'AIRCR x;
581 fun rec'CCR x =
594 fun write'rec'CCR (_,x) = reg'CCR x;
596 fun write'reg'CCR (_,x) = rec'CCR x;
598 fun rec'SHPR2 x =
606 fun write'rec'SHPR2 (_,x) = reg'SHPR2 x;
608 fun write'reg'SHPR2 (_,x) = rec'SHPR2 x;
610 fun rec'SHPR3 x =
621 fun write'rec'SHPR3 (_,x) = reg'SHPR3 x;
623 fun write'reg'SHPR3 (_,x) = rec'SHPR3 x;
625 fun rec'IPR x =
642 fun write'rec'IPR (_,x) = reg'IPR x;
644 fun write'reg'IPR (_,x) = rec'IPR x;