Searched refs:ArmMpidr (Results 1 – 5 of 5) sorted by relevance
/freebsd/sys/arm/arm/ |
H A D | pmu_acpi.c | 74 if (pcpu != NULL && PCPU_GET_MPIDR(pcpu) == intr->ArmMpidr) { in madt_handler() 83 "ArmMpidr %lx\n", intr->ArmMpidr); in madt_handler() 89 "%s-triggered\n", cpuid, intr->ArmMpidr, in madt_handler()
|
/freebsd/sys/arm64/arm64/ |
H A D | mp_machdep.c | 539 if (is_boot_cpu(intr->ArmMpidr)) in madt_handler() 549 if (start_cpu(id, intr->ArmMpidr, domain, 0)) { in madt_handler() 556 if (!is_boot_cpu(intr->ArmMpidr)) in madt_handler()
|
/freebsd/sys/contrib/dev/acpica/common/ |
H A D | dmtbinfo2.c | 862 {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (ArmMpidr), "ARM MPIDR", 0}, 890 {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (ArmMpidr), "ARM MPIDR", 0}, 919 {ACPI_DMT_UINT64, ACPI_MADT11_OFFSET (ArmMpidr), "ARM MPIDR", 0},
|
/freebsd/sys/contrib/dev/acpica/include/ |
H A D | actbl2.h | 1413 UINT64 ArmMpidr; member
|
/freebsd/usr.sbin/acpi/acpidump/ |
H A D | acpi.c | 572 printf("\tMPIDR=%jx\n", (uintmax_t)gicc->ArmMpidr); in acpi_print_madt()
|