HomeSort by: relevance | last modified time | path
    Searched defs:ttbr (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/aarch64/aarch64/
aarch64_tlb.c 55 const uint64_t ttbr = local in function:tlb_set_asid
59 cpu_set_ttbr0(ttbr);
pmap_machdep.c 544 const uint64_t ttbr = local in function:pmap_md_xtab_activate
548 cpu_set_ttbr0(ttbr);
db_interface.c 466 uint64_t ttbr; variable in typeref:typename:uint64_t
473 ttbr = reg_ttbr1_el1_read();
477 ttbr = reg_ttbr0_el1_read();
483 pa = ttbr & TTBR_BADDR;
489 pr("TTBR%d=%016"PRIx64", pa=%016"PRIxPADDR", va=%p",
490 user ? 0 : 1, ttbr, pa, l0);

Completed in 12 milliseconds