VPHN_FLAG_VCPU
VPHN_FLAG_VCPU, associativity);
rc = hcall_vphn(hwid, VPHN_FLAG_VCPU, associativity);
return __get_cpu_associativity(cpu, vcpu_associativity, VPHN_FLAG_VCPU);
VPHN_FLAG_VCPU, hard_smp_processor_id());