nr_cpus() is stubbed since 9e1bcd0ab87f69bcd323eef680957a534b655fac.
@@ -1083,7 +1083,6 @@ mod tests {
}
#[test]
- #[cfg_attr(miri, ignore = "nr_cpus() opens a file on procfs that upsets miri")]
fn test_create_perf_event_array() {
override_syscall(|call| match call {
Syscall::Ebpf {