Symbol: NR_VCPUS_DEF