ctru_sys

Constant OS_KERNELCFG_VADDR

Source 
pub const OS_KERNELCFG_VADDR: u32 = 536346624;