u64 retVal = HvCall0(HvCallCfgGetSystemPhysicalProcessors);  return retVal;
return HvCall0(HvCallCfgGetSystemPhysicalProcessors);
static inline u64 HvCallCfg_getSystemPhysicalProcessors(void){	u64 retVal = HvCall0(HvCallCfgGetSystemPhysicalProcessors);	// getPaca()->adjustHmtForNoOfSpinLocksHeld();	return retVal;}