Searched refs:num_nodes (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Dioapic.h18 void ioapic_init(uint32_t num_nodes, cpu_id_t *cpu_list, uint32_t num_ioapic);
/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dboot.h67 pptr_t allocate_bi_frame(node_id_t node_id, word_t num_nodes, vptr_t ipcbuf_vptr);
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dioapic.c78 void ioapic_init(uint32_t num_nodes, cpu_id_t *cpu_list, uint32_t num_ioapic) argument
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dboot.c271 word_t num_nodes,
290 BI_PTR(pptr)->numNodes = num_nodes;
269 allocate_bi_frame( node_id_t node_id, word_t num_nodes, vptr_t ipcbuf_vptr ) argument

Completed in 119 milliseconds