Symbol: vcpu_enable_cap