Searched defs:cnthctl_el2 (Results 1 – 2 of 2) sorted by relevance
41 uint64_t cnthctl_el2; member
542 uint64_t ich_hcr_el2, ich_vmcr_el2, cnthctl_el2, cntkctl_el1; in vmm_hyp_call_guest() local