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