Searched defs:platform_ipi_hardintr_num (Results 1 – 5 of 5) sorted by relevance
68 platform_ipi_hardintr_num(void) in platform_ipi_hardintr_num() function
79 platform_ipi_hardintr_num(void) in platform_ipi_hardintr_num() function
197 platform_ipi_hardintr_num(void) in platform_ipi_hardintr_num() function
175 platform_ipi_hardintr_num(void) in platform_ipi_hardintr_num() function
666 platform_ipi_hardintr_num(void) in platform_ipi_hardintr_num() function