pub unsafe extern "C" fn syscall_ed_add( p: *mut [u32; 16], q: *const [u32; 16], )
Executes an Ed25519 curve addition on the given points.