Constant RMM_ISLET_GET_VHUK 

pub const RMM_ISLET_GET_VHUK: usize = 0xC700_01B0;