Searched defs:arg4 (Results 1 – 3 of 3) sorted by relevance
36 uint64_t arg4, bool *raised_vector) in run_in_user()
17 unsigned long arg3, unsigned long arg4, in psci_invoke_none()
11 unsigned long arg3, unsigned long arg4, in sbi_ecall()