Searched refs:ci (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dcpu_identification.c37 BOOT_CODE static void x86_cpuid_fill_vendor_string(cpu_identity_t *ci) argument
39 MAY_ALIAS uint32_t *vendor_string32 = (uint32_t *)ci->vendor_string;
41 if (ci == NULL) {
49 ci->vendor_string[X86_CPUID_VENDOR_STRING_MAXLENGTH] = '\0';
56 BOOT_CODE static void x86_cpuid_intel_identity_initialize(cpu_identity_t *ci, argument
66 ci->display.family = original.family;
68 ci->display.family = ci->display.extended_family + original.family;
77 * if (ci->display.family == 0x06 || ci
97 x86_cpuid_amd_identity_initialize(cpu_identity_t *ci, struct family_model original) argument
118 cpu_identity_t *ci = x86_cpuid_get_identity(); local
[all...]
/seL4-camkes-master/projects/lwip/src/include/netif/ppp/
H A Dmppe.h80 #define MPPE_OPTS_TO_CI(opts, ci) \
82 u_char *ptr = ci; /* u_char[4] */ \
102 #define MPPE_CI_TO_OPTS(ci, opts) \
104 const u_char *ptr = ci; /* u_char[4] */ \

Completed in 34 milliseconds