Searched refs: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() local343 if (vbar == 0) { in sc_find_uuid_cdbg()349 uint64_t offs = *(int64_t *)(vbar + 0x800); in sc_find_uuid_cdbg()352 const vm_map_address_t signpostva = sc_cL4_kvtov(sk_dbg_header->vbar + offs); in sc_find_uuid_cdbg()