Lines Matching refs:uint64_t
43 uint64_t x0;
44 uint64_t x1;
45 uint64_t x2;
46 uint64_t x3;
47 uint64_t x4;
48 uint64_t x5;
49 uint64_t x6;
50 uint64_t x7;
51 uint64_t x8;
52 uint64_t x9;
53 uint64_t x10;
54 uint64_t x11;
55 uint64_t x12;
56 uint64_t x13;
57 uint64_t x14;
58 uint64_t x15;
59 uint64_t x16;
60 uint64_t x17;
61 uint64_t x18;
62 uint64_t x19;
63 uint64_t x20;
64 uint64_t x21;
65 uint64_t x22;
66 uint64_t x23;
67 uint64_t x24;
68 uint64_t x25;
69 uint64_t x26;
70 uint64_t x27;
71 uint64_t x28;
72 uint64_t x29;
73 uint64_t x30;
74 uint64_t pc;
75 uint64_t currentEL;
76 uint64_t sp_el3;
77 uint64_t elr_el3;
78 uint64_t spsr_el3;
79 uint64_t sp_el2;
80 uint64_t elr_el2;
81 uint64_t spsr_el2;
82 uint64_t sp_el1;
83 uint64_t elr_el1;
84 uint64_t spsr_el1;
85 uint64_t sp_el0;
86 uint64_t __reserved1;
87 uint64_t __reserved2;
88 uint64_t __reserved3;
89 uint64_t __reserved4;
90 uint64_t __reserved5;
91 uint64_t __reserved6;
92 uint64_t __reserved7;
93 uint64_t __reserved8;