Constant ctru_sys::OS_KERNELCFG_VADDR

pub const OS_KERNELCFG_VADDR: u32 = 536346624;