Searched refs:strncmp (Results 1 – 4 of 4) sorted by relevance
| /seL4-master/src/arch/x86/machine/ |
| A D | cpu_identification.c | 146 if (strncmp(ci->vendor_string, X86_CPUID_VENDOR_STRING_INTEL, in x86_cpuid_initialize()
151 } else if (strncmp(ci->vendor_string, X86_CPUID_VENDOR_STRING_AMD_LEGACY, in x86_cpuid_initialize()
153 || strncmp(ci->vendor_string, X86_CPUID_VENDOR_STRING_AMD, in x86_cpuid_initialize()
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | acpi.c | 178 if (strncmp(addr, acpi_str_rsd, 8) == 0) { in acpi_get_rsdp()
301 if (strncmp(acpi_str_apic, acpi_madt_mapped->header.signature, 4) == 0) { in acpi_madt_scan()
400 if (strncmp(acpi_str_fadt, acpi_fadt_mapped->header.signature, 4) == 0) { in acpi_fadt_scan()
450 if (strncmp(acpi_str_dmar, acpi_dmar_mapped->header.signature, 4) == 0) { in acpi_dmar_scan()
|
| /seL4-master/include/ |
| A D | util.h | 134 int PURE strncmp(const char *s1, const char *s2, int n);
|
| /seL4-master/src/ |
| A D | util.c | 75 int PURE strncmp(const char *s1, const char *s2, int n) in strncmp() function
|
Completed in 7 milliseconds