Lines Matching refs:HCR
46 type HCR =
54 { HCR: HCR, HSCTLR: HSCTLR, HSR: HSR, MVBAR: BitsN.nbit, NSACR: NSACR,
518 val HCR_AMO_rupd: HCR * bool -> HCR
519 val HCR_BSU_rupd: HCR * BitsN.nbit -> HCR
520 val HCR_DC_rupd: HCR * bool -> HCR
521 val HCR_FB_rupd: HCR * bool -> HCR
522 val HCR_FMO_rupd: HCR * bool -> HCR
523 val HCR_IMO_rupd: HCR * bool -> HCR
524 val HCR_PTW_rupd: HCR * bool -> HCR
525 val HCR_SWIO_rupd: HCR * bool -> HCR
526 val HCR_TAC_rupd: HCR * bool -> HCR
527 val HCR_TGE_rupd: HCR * bool -> HCR
528 val HCR_TID_rupd: HCR * BitsN.nbit -> HCR
529 val HCR_TIDCP_rupd: HCR * bool -> HCR
530 val HCR_TPC_rupd: HCR * bool -> HCR
531 val HCR_TPU_rupd: HCR * bool -> HCR
532 val HCR_TSC_rupd: HCR * bool -> HCR
533 val HCR_TSW_rupd: HCR * bool -> HCR
534 val HCR_TTLB_rupd: HCR * bool -> HCR
535 val HCR_TVM_rupd: HCR * bool -> HCR
536 val HCR_TWE_rupd: HCR * bool -> HCR
537 val HCR_TWI_rupd: HCR * bool -> HCR
538 val HCR_VA_rupd: HCR * bool -> HCR
539 val HCR_VF_rupd: HCR * bool -> HCR
540 val HCR_VI_rupd: HCR * bool -> HCR
541 val HCR_VM_rupd: HCR * bool -> HCR
542 val HCR_hcr'rst_rupd: HCR * BitsN.nbit -> HCR
543 val CP15_HCR_rupd: CP15 * HCR -> CP15
649 val rec'HCR: BitsN.nbit -> HCR
650 val reg'HCR: HCR -> BitsN.nbit
651 val write'rec'HCR: (BitsN.nbit * HCR) -> BitsN.nbit
652 val write'reg'HCR: (HCR * BitsN.nbit) -> HCR