Function sp1_lib::syscall_uint256_mulmod

pub unsafe extern "C" fn syscall_uint256_mulmod(
    x: *mut [u32; 8],
    y: *const [u32; 8],
)

Executes an uint256 multiplication on the given inputs.