Searched refs:node_id_t (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dtypes.h28 typedef word_t node_id_t; typedef
37 typedef node_id_t seL4_NodeId;
/seL4-camkes-master/kernel/include/arch/riscv/arch/
H A Dtypes.h24 typedef word_t node_id_t; typedef
32 typedef node_id_t seL4_NodeId;
/seL4-camkes-master/kernel/include/arch/arm/arch/
H A Dtypes.h25 typedef word_t node_id_t; typedef
42 typedef node_id_t seL4_NodeId;
/seL4-camkes-master/kernel/include/kernel/
H A Dboot.h70 void populate_bi_frame(node_id_t node_id, word_t num_nodes, vptr_t ipcbuf_vptr,
/seL4-camkes-master/kernel/src/kernel/
H A Dboot.c313 BOOT_CODE void populate_bi_frame(node_id_t node_id, word_t num_nodes, vptr_t ipcbuf_vptr,

Completed in 42 milliseconds