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 11 milliseconds