Function syscall_ed_add 

pub unsafe extern "C" fn syscall_ed_add(
    p: *mut [u64; 8],
    q: *const [u64; 8],
)

Executes an Ed25519 curve addition on the given points.