How to setup GPIO_P4 and GPIO_P5 interrupt in TM4C129X

The code is listed below, I wan to know is it right? Thanks!

Hwi_Struct callbackPortP4Hwi;
const GPIO_Callbacks H2_TM4C129X_gpioPortP4Callbacks = {
    GPIO_PORTP_BASE, INT_GPIOP4, &callbackPortP4Hwi,
    {NULL, NULL, NULL, NULL, isr_int, NULL, NULL, NULL}
};
Hwi_Struct callbackPortP5Hwi;
const GPIO_Callbacks H2_TM4C129X_gpioPortP5Callbacks = {
    GPIO_PORTP_BASE, INT_GPIOP5, &callbackPortP5Hwi,
    {NULL, NULL, NULL, NULL, NULL, isr_sync0, NULL, NULL}
};