Searched defs:ttbr1 (Results 1 - 1 of 1) sorted by relevance

/freebsd-11-stable/sys/xen/interface/
H A Darch-arm.h297 uint64_t ttbcr, ttbr0, ttbr1; member in struct:vcpu_guest_context

Completed in 46 milliseconds