Constant os::mm::address::VA_WIDTH_SV39

const VA_WIDTH_SV39: usize = 39;