cannot find value _UFFDIO_WRITEPROTECT in this scope

[musitdev]

I try to build on Ubuntu 2004, and I've this error during the build of userfaultfd-rs crate:

  error[E0425]: cannot find value `_UFFDIO_WRITEPROTECT` in this scope
  --> src/linux5_7.rs:20:74
   |
20 |     1 << _UFFDIO_WAKE | 1 << _UFFDIO_COPY | 1 << _UFFDIO_ZEROPAGE | 1 << _UFFDIO_WRITEPROTECT;
   |                                                                          ^^^^^^^^^^^^^^^^^^^^ help: a constant with a similar name exists: `UFFDIO_WRITEPROTECT`
...
38 | pub const UFFDIO_WRITEPROTECT: u32 = 0xc018aa06;
   | ------------------------------------------------ similarly named constant `UFFDIO_WRITEPROTECT` defined here

I try several kernel headers versions after 5.7 but none works.

[fasterthanlime]

@musitdev I've pushed a fix - mevi doesn't even need those 5.7+ functions anyway. Enjoy!

[musitdev]

Super thank, it works.