I think that's correct for both x86 and x64, though I'm curious what `winnt.h` defines it to be.