sys/arm64/vmm/vmm_reset.c

102

set_arch_unknown(el2ctx->pmccntr_el0);

sys/arm64/vmm/vmm_reset.c

103

set_arch_unknown(el2ctx->pmccfiltr_el0);

sys/arm64/vmm/vmm_reset.c

104

set_arch_unknown(el2ctx->pmuserenr_el0);

sys/arm64/vmm/vmm_reset.c

105

set_arch_unknown(el2ctx->pmselr_el0);

sys/arm64/vmm/vmm_reset.c

106

set_arch_unknown(el2ctx->pmxevcntr_el0);

sys/arm64/vmm/vmm_reset.c

107

set_arch_unknown(el2ctx->pmcntenset_el0);

sys/arm64/vmm/vmm_reset.c

108

set_arch_unknown(el2ctx->pmintenset_el1);

sys/arm64/vmm/vmm_reset.c

109

set_arch_unknown(el2ctx->pmovsset_el0);

sys/arm64/vmm/vmm_reset.c

56

set_arch_unknown(el2ctx->tf);

sys/arm64/vmm/vmm_reset.c

58

set_arch_unknown(el2ctx->actlr_el1);

sys/arm64/vmm/vmm_reset.c

59

set_arch_unknown(el2ctx->afsr0_el1);

sys/arm64/vmm/vmm_reset.c

60

set_arch_unknown(el2ctx->afsr1_el1);

sys/arm64/vmm/vmm_reset.c

61

set_arch_unknown(el2ctx->amair_el1);

sys/arm64/vmm/vmm_reset.c

62

set_arch_unknown(el2ctx->contextidr_el1);

sys/arm64/vmm/vmm_reset.c

63

set_arch_unknown(el2ctx->cpacr_el1);

sys/arm64/vmm/vmm_reset.c

64

set_arch_unknown(el2ctx->csselr_el1);

sys/arm64/vmm/vmm_reset.c

65

set_arch_unknown(el2ctx->elr_el1);

sys/arm64/vmm/vmm_reset.c

66

set_arch_unknown(el2ctx->esr_el1);

sys/arm64/vmm/vmm_reset.c

67

set_arch_unknown(el2ctx->far_el1);

sys/arm64/vmm/vmm_reset.c

68

set_arch_unknown(el2ctx->mair_el1);

sys/arm64/vmm/vmm_reset.c

69

set_arch_unknown(el2ctx->mdccint_el1);

sys/arm64/vmm/vmm_reset.c

70

set_arch_unknown(el2ctx->mdscr_el1);

sys/arm64/vmm/vmm_reset.c

71

set_arch_unknown(el2ctx->par_el1);

sys/arm64/vmm/vmm_reset.c

84

set_arch_unknown(el2ctx->sp_el0);

sys/arm64/vmm/vmm_reset.c

85

set_arch_unknown(el2ctx->tcr_el1);

sys/arm64/vmm/vmm_reset.c

86

set_arch_unknown(el2ctx->tpidr_el0);

sys/arm64/vmm/vmm_reset.c

87

set_arch_unknown(el2ctx->tpidr_el1);

sys/arm64/vmm/vmm_reset.c

88

set_arch_unknown(el2ctx->tpidrro_el0);

sys/arm64/vmm/vmm_reset.c

89

set_arch_unknown(el2ctx->ttbr0_el1);

sys/arm64/vmm/vmm_reset.c

90

set_arch_unknown(el2ctx->ttbr1_el1);

sys/arm64/vmm/vmm_reset.c

91

set_arch_unknown(el2ctx->vbar_el1);

sys/arm64/vmm/vmm_reset.c

92

set_arch_unknown(el2ctx->spsr_el1);

sys/arm64/vmm/vmm_reset.c

94

set_arch_unknown(el2ctx->dbgbcr_el1);

sys/arm64/vmm/vmm_reset.c

95

set_arch_unknown(el2ctx->dbgbvr_el1);

sys/arm64/vmm/vmm_reset.c

96

set_arch_unknown(el2ctx->dbgwcr_el1);

sys/arm64/vmm/vmm_reset.c

97

set_arch_unknown(el2ctx->dbgwvr_el1);