pub unsafe extern "C" fn syscall_bls12381_fp2_mulmod( p: *mut u32, q: *const u32, )
Executes a BLS12-381 Fp2 multiplication on the given inputs.