NVIC: Same Vector same IRQHandler and same Callback

But some times two or more interrupts shares the same interrupt vector, like the pins from 4 to 15, then it is necessary to call two times the HAL_<driver>_IRQHandler but each one with its corresponding handler ( or pin in this example )

#include "bsp.h"

int main(void)
{
    GPIO_InitTypeDef GPIO_InitStruct;               /*gpios initial structure*/
    
    HAL_Init();                                     /*Init HAL library*/
    __HAL_RCC_GPIOA_CLK_ENABLE();                   /*Enable clock on port A*/
  
    GPIO_InitStruct.Pin = GPIO_PIN_4 | GPIO_PIN_10;   /*pins to set as inputs*/
    GPIO_InitStruct.Mode = GPIO_MODE_IT_FALLING;     /*input on mode faling edge interrupt*/
    GPIO_InitStruct.Pull = GPIO_NOPULL;             /*no pull-up niether pull-down*/
    GPIO_InitStruct.Speed = GPIO_SPEED_FREQ_LOW;    /*pin speed*/
    /*use the previous parameters to set configuration on pin C0*/
    HAL_GPIO_Init( GPIOA, &GPIO_InitStruct );
    
    /*Enable interrupt vector EXTI4_15_IRQ where the CPU will jump if a input change
    happens on pins 4 to 15*/
    HAL_NVIC_SetPriority( EXTI4_15_IRQn, 2, 0 );
    HAL_NVIC_EnableIRQ( EXTI4_15_IRQn );

    while (1)
    {
        
    }
}

/* Both vector functions call the same IRQ functions and therefore the same callback function is 
called and somehow we must determine which interrupt causes the callback function to be called. 
In this particular case we can use the parameter passed which is the pin number*/
void HAL_GPIO_EXTI_Falling_Callback( uint16_t GPIO_Pin )
{
    if( GPIO_Pin == GPIO_PIN_4 )
    {
        /*Application code for the interupt in pin 4*/
    }
    if( GPIO_Pin == GPIO_PIN_10 )
    {
        /*Application code for the interupt in pin 10*/
    }  
}

ints.c

/* the same vector is shared amount interrupt edges from 4 to 15, to identify which pins
activate the interrupt we need to call the IRQ function two times with the pin as paramters*/
void EXTI4_15_IRQHandler( void )
{
    /*Handle the interrupt and call the callbacks functions*/
    HAL_GPIO_EXTI_IRQHandler( GPIO_PIN_4 );
    HAL_GPIO_EXTI_IRQHandler( GPIO_PIN_10 );
}