Symbol: NR_VCPUS