pub unsafe extern "C" fn syscall_secp256r1_double(p: *mut [u32; 16])
Executes an Secp256r1 curve doubling on the given point.