pub fn case_list(xcr0: u64) -> Result<Vec<Case>, ProbeRefusal>
The closed case list for an admitted XCR0 (condition C6): every case whose instructions and components exist on it.