Searched refs:ttbr0 (Results 1 - 4 of 4) sorted by relevance

/freebsd-current/sys/arm64/include/
H A Dcpufunc.h133 set_ttbr0(uint64_t ttbr0) argument
140 : "r" (ttbr0));
/freebsd-current/sys/contrib/xen/
H A Darch-arm.h301 uint64_t ttbcr, ttbr0, ttbr1; member in struct:vcpu_guest_context
H A Dvm_event.h265 uint64_t ttbr0; member in struct:vm_event_regs_arm
/freebsd-current/sys/arm64/arm64/
H A Dpmap.c8703 * Compute the value that should be stored in ttbr0 to activate the specified
8721 uint64_t ttbr0, ttbr1;
8736 ttbr0 = READ_SPECIALREG(ttbr0_el1);
8737 ttbr0 |= TTBR_CnP;
8743 WRITE_SPECIALREG(ttbr0_el1, ttbr0);
8723 uint64_t ttbr0, ttbr1; local

Completed in 100 milliseconds