Searched defs:model (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dcpu_identification.c53 uint8_t family, model; member in struct:family_model
[all...]
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dmiiphyutil.c371 miiphy_info(const char *devname, unsigned char addr, unsigned int *oui, unsigned char *model, unsigned char *rev) argument
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dmiiphyutil.c371 miiphy_info(const char *devname, unsigned char addr, unsigned int *oui, unsigned char *model, unsigned char *rev) argument
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dmiiphyutil.c331 miiphy_info(const char *devname, unsigned char addr, unsigned int *oui, unsigned char *model, unsigned char *rev) argument
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dprivate.h53 seL4_Word model : 4; member in struct:__anon541::__anon542
321 uint8_t model = MODEL(model_info); local
/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dmachine.h210 uint8_t family, model, stepping, extended_family, extended_model; member in struct:_x86_cpu_identity
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dapicdef.h271 model : 4; member in struct:local_apic_regs::__anon16

Completed in 165 milliseconds