Searched refs:tcf0 (Results 1 – 1 of 1) sorted by relevance
396 uint64_t tcf0; in aarch64_gdb_get_tag_ctl_reg() local400 tcf0 = extract64(env->cp15.sctlr_el[1], 38, 2); in aarch64_gdb_get_tag_ctl_reg()402 return gdb_get_reg64(buf, tcf0); in aarch64_gdb_get_tag_ctl_reg()