/* This function get priority grouping field split point.  */
unsigned int rt_hw_interrupt_get_prior_group_bits(void)
/* This function get priority grouping field split point.  */
unsigned int rt_hw_interrupt_get_prior_group_bits(void)
{
    unsigned int bp;
    bp = arm_gic_get_binary_point(0) & 0x07;
    return (7 - bp);
}