pub fn vp_index_if_enabled(vp_index: u32) -> Option<u32>
Helper that returns None if the VP index indicates interrupts should be disabled.
None