Searched refs:cpu_id_mapping_t (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/arch/x86/arch/model/
A D	smp.h	25 } cpu_id_mapping_t; typedef 27 extern cpu_id_mapping_t cpu_mapping;
/seL4-master/src/arch/x86/model/
A D	statedata.c	37 SMP_STATE_DEFINE(cpu_id_mapping_t, cpu_mapping);

Completed in 6 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023