int retVal = HvCall1(HvCallCfgIsBusDedicated,busIndex);  return retVal;
return HvCall1(HvCallCfgIsBusDedicated, busIndex);
static inline int HvCallCfg_isBusDedicated(u64 busIndex){	int retVal = HvCall1(HvCallCfgIsBusDedicated,busIndex);	// getPaca()->adjustHmtForNoOfSpinLocksHeld();	return retVal;}