Lines Matching refs:uint64_t
15 static uint64_t shutdown_args[3] = { 0, 0, 0 };
16 static uint64_t reboot_args[3] = { 0, 0, 0 };
17 static uint64_t reboot_bootloader_args[3] = { 0, 0, 0 };
18 static uint64_t reboot_recovery_args[3] = { 0, 0, 0 };
20 static uint64_t psci_smc_call(uint32_t function, uint64_t arg0, uint64_t arg1, uint64_t arg2) { in psci_smc_call()
24 static uint64_t psci_hvc_call(uint32_t function, uint64_t arg0, uint64_t arg1, uint64_t arg2) { in psci_hvc_call()
39 uint64_t* args = reboot_args; in psci_system_reset()
83 uint64_t arg0 = (argc >= 3) ? argv[2].u : 0; in cmd_psci()
84 uint64_t arg1 = (argc >= 4) ? argv[3].u : 0; in cmd_psci()
85 uint64_t arg2 = (argc >= 5) ? argv[4].u : 0; in cmd_psci()
87 uint64_t ret = do_psci_call(function, arg0, arg1, arg2); in cmd_psci()