Lines Matching refs:uint64_t

21 trp_args_t *set_smc_args(uint64_t arg0,  in set_smc_args()
22 			uint64_t arg1,  in set_smc_args()
23 			uint64_t arg2,  in set_smc_args()
24 			uint64_t arg3,  in set_smc_args()
25 			uint64_t arg4,  in set_smc_args()
26 			uint64_t arg5,  in set_smc_args()
27 			uint64_t arg6,  in set_smc_args()
28 			uint64_t arg7,  in set_smc_args()
29 			uint64_t arg8,  in set_smc_args()
30 			uint64_t arg9,  in set_smc_args()
31 			uint64_t arg10,  in set_smc_args()
32 			uint64_t arg11)  in set_smc_args()
62 __dead2 void trp_boot_abort(uint64_t err)  in trp_boot_abort()