406     DevAssert(instance < WKPU_INSTANCE_COUNT);  in Wkpu_Ip_EnableInterrupt()
407     DevAssert(hwChannel < WKPU_IP_NUM_OF_CHANNELS);  in Wkpu_Ip_EnableInterrupt()
469     DevAssert(instance < WKPU_INSTANCE_COUNT);  in Wkpu_Ip_DisableInterrupt()
470     DevAssert(hwChannel < WKPU_IP_NUM_OF_CHANNELS);  in Wkpu_Ip_DisableInterrupt()
530     DevAssert(instance < WKPU_INSTANCE_COUNT);  in Wkpu_Ip_Init()
531     DevAssert(userConfig != NULL_PTR);  in Wkpu_Ip_Init()
618     DevAssert(instance < WKPU_INSTANCE_COUNT);  in Wkpu_Ip_DeInit()
701     DevAssert(instance < WKPU_INSTANCE_COUNT);  in Wkpu_Ip_SetActivationCondition()
702     DevAssert(hwChannel < WKPU_IP_NUM_OF_CHANNELS);  in Wkpu_Ip_SetActivationCondition()
810     DevAssert(instance < WKPU_INSTANCE_COUNT);  in Wkpu_Ip_GetInputState()
811     DevAssert(hwChannel < WKPU_IP_NUM_OF_CHANNELS);  in Wkpu_Ip_GetInputState()
851     DevAssert(hwChannel < WKPU_IP_NUM_OF_CHANNELS);  in Wkpu_Ip_EnableNotification()
864     DevAssert(hwChannel < WKPU_IP_NUM_OF_CHANNELS);  in Wkpu_Ip_DisableNotification()
904     DevAssert(instance < WKPU_INSTANCE_COUNT);  in Wkpu_Ip_InitNMI()
905     DevAssert(userConfig->pNMIChannelsConfig != NULL_PTR);  in Wkpu_Ip_InitNMI()
976     DevAssert(instance < WKPU_INSTANCE_COUNT);  in Wkpu_Ip_DeinitNMI()