Searched defs:cptr_el2 (Results 1 – 3 of 3) sorted by relevance
26 uint64_t cptr_el2; member
13751 u64 cptr_el2; member