Lines Matching refs:uint64_t
25 static uint64_t psci_cpu_on(uint64_t target_cpu, uint64_t entry_addr, in psci_cpu_on()
26 uint64_t context_id) in psci_cpu_on()
36 static uint64_t psci_affinity_info(uint64_t target_affinity, in psci_affinity_info()
37 uint64_t lowest_affinity_level) in psci_affinity_info()
47 static uint64_t psci_system_suspend(uint64_t entry_addr, uint64_t context_id) in psci_system_suspend()
57 static uint64_t psci_system_off2(uint64_t type, uint64_t cookie) in psci_system_off2()
66 static uint64_t psci_features(uint32_t func_id) in psci_features()
112 uint64_t obs_pc, obs_x0; in assert_vcpu_reset()
125 static void guest_test_cpu_on(uint64_t target_cpu) in guest_test_cpu_on()
127 uint64_t target_state; in guest_test_cpu_on()
144 uint64_t target_mpidr; in host_test_cpu_on()
168 uint64_t ret; in guest_test_system_suspend()
202 uint64_t ret; in guest_test_system_off2()
240 uint64_t psci_version = 0; in host_test_system_off2()