Searched refs:brand (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dcpu_identification.c133 * brand index. Store the original values from CPUID_001H.EAX.
143 /* Also store the brand index value given in EBX */
144 ci->display.brand = cpuid_001h_ebx_get_brand(ebx);
/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dmachine.h211 uint8_t brand; member in struct:_x86_cpu_identity
228 /** To be used by code that wants to know the family/model/stepping/brand of
/seL4-camkes-master/tools/cogent/cogent/doc/
H A Ddoc.tex455 For example, one can do \inlinecogent{type T} and a brand new type \inlinecogent{T} is created in the program.

Completed in 103 milliseconds