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
59 cpu_set_ttbr0(ttbr);
db_interface.c 466 uint64_t ttbr; local
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);
pmap_machdep.c 543 const uint64_t ttbr = local
547 cpu_set_ttbr0(ttbr);

Completed in 15 milliseconds