Searched refs:record_syscall_return (Results 1 – 2 of 2) sorted by relevance
34 static inline void record_syscall_return(void *cpu, int num, abi_long ret) in record_syscall_return() function
13666 record_syscall_return(cpu, num, ret); in do_syscall()