Searched refs:external_mdscr_el1 (Results 1 – 3 of 3) sorted by relevance
127 vcpu->arch.external_mdscr_el1 = mdscr; in setup_external_mdscr()
41 return &vcpu->arch.external_mdscr_el1; in ctxt_mdscr_el1()
790 u64 external_mdscr_el1; member