unsigned long copy_pirq_routing_table(unsigned long addr)
{
/* Align the table to be 16 byte aligned. */
unsigned long copy_pirq_routing_table(unsigned long addr)
{
/* Align the table to be 16 byte aligned. */
void pirq_routing_irqs(unsigned long addr)
{
int i, j, k, num_entries;
void pirq_routing_irqs(unsigned long addr)
{
int i, j, k, num_entries;