Function sp1_lib::syscall_uint256_mulmod

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

Executes an uint256 multiplication on the given inputs.