Searched refs:vsctlr (Results 1 – 2 of 2) sorted by relevance
340 uint64_t vsctlr; /* Virtualization System control register. */330 uint64_t vsctlr; /* Virtualization System control register. */ global() member
8902 ARMCPRegInfo vsctlr = { in register_cp_regs_for_features() 8906 .fieldoffset = offsetoflow32(CPUARMState, cp15.vsctlr), in register_cp_regs_for_features() 8908 define_one_arm_cp_reg(cpu, &vsctlr); in register_cp_regs_for_features() 8898 ARMCPRegInfo vsctlr = { register_cp_regs_for_features() local