Searched defs:ttbcr (Results 1 – 5 of 5) sorted by relevance

/xen/xen/arch/arm/
A D	guest_walk.c	40 register_t ttbcr = READ_SYSREG(TCR_EL1); in guest_walk_sd() local
A D	traps.c	1744 register_t ttbcr = READ_SYSREG(TCR_EL1); in dump_guest_s1_walk() local
/xen/xen/include/public/
A D	arch-arm.h	297 uint64_t ttbcr, ttbr0, ttbr1; member
A D	vm_event.h	241 uint64_t ttbcr; member
/xen/xen/include/asm-arm/
A D	domain.h	146 register_t ttbcr; member

Completed in 23 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023