Searched defs:vbar (Results 1 – 1 of 1) sorted by relevance
112 uint64_t vbar; /* kernel vbar_el1 register value */ member342 vm_map_address_t vbar = sc_cL4_kvtov(sk_dbg_header->vbar); in sc_find_uuid_cdbg() local