Searched refs:PAD_TO_NEXT_CACHE_LN (Results 1 - 6 of 6) sorted by relevance

/seL4-test-master/kernel/include/model/
H A Dsmp.h19 PAD_TO_NEXT_CACHE_LN(sizeof(archNodeState_t) + sizeof(nodeState_t));
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/model/
H A Dsmp.h28 PAD_TO_NEXT_CACHE_LN(sizeof(void *) + sizeof(void *) + sizeof(word_t) + sizeof(cpu_id_t));
/seL4-test-master/kernel/include/smp/
H A Dlock.h30 PAD_TO_NEXT_CACHE_LN(sizeof(clh_qnode_state_t));
39 PAD_TO_NEXT_CACHE_LN(sizeof(clh_qnode_t *) +
49 PAD_TO_NEXT_CACHE_LN(sizeof(clh_qnode_t *));
H A Dipi.h21 PAD_TO_NEXT_CACHE_LN(sizeof(word_t) + sizeof(word_t));
/seL4-test-master/kernel/include/arch/x86/arch/model/
H A Dstatedata.h63 PAD_TO_NEXT_CACHE_LN(sizeof(tss_io_t) + GDT_ENTRIES *sizeof(gdt_entry_t) + IDT_ENTRIES *sizeof(idt_entry_t));
/seL4-test-master/kernel/include/
H A Dutil.h174 #define PAD_TO_NEXT_CACHE_LN(used) char padding[L1_CACHE_LINE_SIZE - ((used) % L1_CACHE_LINE_SIZE)] macro

Completed in 43 milliseconds