Searched refs:x86KScacheLineSizeBits (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/arch/x86/machine/
A D	hardware.c	78 for (v = ROUND_DOWN((word_t)vaddr, x86KScacheLineSizeBits); in flushCacheRange() 80 v += BIT(x86KScacheLineSizeBits)) { in flushCacheRange()
/seL4-master/src/arch/x86/model/
A D	statedata.c	40 uint32_t x86KScacheLineSizeBits; variable
/seL4-master/include/arch/x86/arch/model/
A D	statedata.h	70 extern uint32_t x86KScacheLineSizeBits;
/seL4-master/src/arch/x86/kernel/
A D	vspace.c	480 x86KScacheLineSizeBits = getCacheLineSizeBits(); in init_vm_state() 481 if (!x86KScacheLineSizeBits) { in init_vm_state() 485 cacheLineSize = BIT(x86KScacheLineSizeBits); in init_vm_state()

Completed in 6 milliseconds

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