Searched refs:cpu_interface_number (Results 1 – 2 of 2) sorted by relevance
36 cpu_entry->gic_cpu_id = p->cpu_interface_number; in acpi_set_mailbox_entry()
1026 u32 cpu_interface_number; member