Symbol: arch_syscall_64_bit_return_value
headers/private/kernel/arch/x86/arch_thread.h
59
void arch_syscall_64_bit_return_value(void);
headers/private/kernel/thread.h
134
#define syscall_64_bit_return_value() arch_syscall_64_bit_return_value()