Searched defs:ttb (Results 1 – 3 of 3) sorted by relevance
87 u32 ttb; in cpu_set_reserved_ttbr0() local
74 u32 ttb; /* 0x40 */ member
46 unsigned long ttb; member