Searched refs:model (Results 1 - 25 of 120) sorted by relevance

12345

/seL4-test-master/kernel/include/arch/riscv/arch/32/mode/
H A Dmachine.h11 #include <arch/model/smp.h>
/seL4-test-master/kernel/include/arch/riscv/arch/64/mode/
H A Dmachine.h11 #include <arch/model/smp.h>
/seL4-test-master/kernel/src/config/
H A Ddefault_domain.c8 #include <model/statedata.h>
/seL4-test-master/kernel/src/model/
H A Dpreemption.c8 #include <model/preemption.h>
9 #include <model/statedata.h>
H A Dsmp.c8 #include <model/smp.h>
/seL4-test-master/kernel/include/model/
H A Dsmp.h11 #include <arch/model/statedata.h>
12 #include <model/statedata.h>
/seL4-test-master/kernel/include/64/mode/
H A Dutil.h11 #include <arch/model/statedata.h>
/seL4-test-master/kernel/include/arch/x86/arch/model/
H A Dsmp.h11 #include <arch/model/statedata.h>
12 #include <model/statedata.h>
13 #include <model/smp.h>
14 #include <mode/model/smp.h>
/seL4-test-master/kernel/src/arch/x86/machine/
H A Dcpu_identification.c11 /** @file Support routines for identifying the processor family, model, etc
12 * on INTEL x86 processors, as well as attempting to determine the model string.
53 uint8_t family, model; member in struct:family_model
60 * require you to take into account an additional extended family and model
79 * Additionally, even though the Intel manuals say to adjust the model
91 ci->display.model = (ci->display.extended_model << 4u) + original.model;
93 ci->display.model = original.model;
101 * the family and model ID
[all...]
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/model/
H A Dstatedata.h13 #include <model/statedata.h>
/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dhardware.c10 #include <arch/model/statedata.h>
93 if (model_info->model == valid_models[i]) {
105 if (model_info->model == NEHALEM_1_MODEL_ID ||
106 model_info->model == NEHALEM_2_MODEL_ID ||
107 model_info->model == NEHALEM_3_MODEL_ID) {
114 /* We just found the matching model, so no point continuing the search */
/seL4-test-master/kernel/src/arch/x86/32/model/
H A Dstatedata.c8 #include <mode/model/statedata.h>
/seL4-test-master/kernel/src/arch/arm/64/machine/
H A Dfpu.c9 #include <mode/model/statedata.h>
/seL4-test-master/kernel/include/arch/arm/armv/armv6/armv/
H A Dcontext_switch.h11 #include <mode/model/statedata.h>
/seL4-test-master/kernel/include/arch/arm/arch/model/
H A Dsmp.h11 #include <model/smp.h>
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dthread.c10 #include <arch/model/statedata.h>
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dthread.c9 #include <arch/model/statedata.h>
/seL4-test-master/kernel/src/arch/arm/64/
H A Dc_traps.c8 #include <model/statedata.h>
/seL4-test-master/kernel/src/arch/x86/64/model/
H A Dsmp.c8 #include <mode/model/smp.h>
/seL4-test-master/kernel/src/benchmark/
H A Dbenchmark_track.c9 #include <model/statedata.h>
/seL4-test-master/kernel/include/32/mode/
H A Dutil.h11 #include <arch/model/statedata.h>
/seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Dcontext_switch.h12 #include <mode/model/statedata.h>
/seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Dcontext_switch.h12 #include <mode/model/statedata.h>
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Dcontext_switch.h12 #include <mode/model/statedata.h>
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/
H A Dstack.h10 #include <mode/model/smp.h>

Completed in 77 milliseconds

12345