Searched defs:todpr (Results 1 – 7 of 7) sorted by relevance
185 uint32_t todpr; /* 0x0124 */ member
105 uint32_t todpr; member
252 __u64 todpr; /* tod programmable register [ARCH0] */ member
268 __u64 todpr; /* tod programmable register [ARCH0] */ member
581 __u64 todpr; /* tod programmable register [ARCH0] */ member
284 __u32 todpr; /* 0x006c */ member
4096 TCGv_i64 todpr = tcg_temp_new_i64(); in op_stcke() local