Function p256_cortex_m4_sys::P256_check_range_p

pub unsafe extern "C" fn P256_check_range_p(a: *const u32) -> bool

Checks that the argument, as little-endian integer, is a reduced element of the base field.

In other words, that it is in the range 0..=p-1, where p = 2^256 - 2^224 + 2^192 + 2^96 - 1.