Index of /proc/sys/kernel/sched_domain/cpu4/