Searched refs:phys_id (Results 1 – 5 of 5) sorted by relevance
190 uint64_t phys_id; member
221 phys_cpuid_t phys_id; /* CPU hardware ID such as APIC ID for x86 */ member352 int acpi_map_cpuid(phys_cpuid_t phys_id, u32 acpi_id);
40 extern bool arch_match_cpu_phys_id(int cpu, u64 phys_id);
283 static inline bool invalid_phys_cpuid(phys_cpuid_t phys_id) in invalid_phys_cpuid() argument285 return phys_id == PHYS_CPUID_INVALID; in invalid_phys_cpuid()
7 u8 phys_id; member