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

/seL4-master/src/arch/x86/machine/
A D	hardware.c	43 uint32_t line_size; in getCacheLineSizeBits() local 46 line_size = getCacheLineSize(); in getCacheLineSizeBits() 47 if (line_size == 0) { in getCacheLineSizeBits() 54 while (!(line_size & 1)) { in getCacheLineSizeBits() 55 line_size >>= 1; in getCacheLineSizeBits() 59 if (line_size != 1) { in getCacheLineSizeBits()

Completed in 3 milliseconds

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