OK, I fixed those. But I think ntdll can't be built with MSVC anyway?
Not meaningfully, no, but these are generic intrinsics put in a header.
By the way, from looking at the native header file, it seems they're supposed to be called ReadPointerAcquire() and WritePointerRelease(). No idea why Microsoft was inconsistent with the ordering, but there you go.