Lines Matching refs:uint64_t

115 uint64_t spm_mm_smc_handler(uint32_t smc_fid,
116 			    uint64_t x1,
117 			    uint64_t x2,
118 			    uint64_t x3,
119 			    uint64_t x4,
122 			    uint64_t flags);
125 uint64_t spm_mm_sp_call(uint32_t smc_fid,
126 			uint64_t x1,
127 			uint64_t x2,
128 			uint64_t x3);
131 uint64_t spm_mm_tpm_start_handler(uint32_t smc_fid,
132 				  uint64_t x1,
133 				  uint64_t x2,
134 				  uint64_t x3,
135 				  uint64_t x4,
138 				  uint64_t flags);