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

  /src/sys/arch/aarch64/aarch64/
db_interface.c 472 uint64_t ttbr; local
479 ttbr = reg_ttbr1_el1_read();
483 ttbr = reg_ttbr0_el1_read();
489 pa = ttbr & TTBR_BADDR;
495 pr("TTBR%d=%016"PRIx64", pa=%016"PRIxPADDR", va=%p",
496 user ? 0 : 1, ttbr, pa, l0);
  /src/sys/arch/aarch64/include/
pmap.h 422 const uint64_t ttbr = local
426 cpu_set_ttbr0(ttbr);

Completed in 14 milliseconds