<dec f='src/src/sys/arch/x86/include/cpufunc.h' l='68' type='vaddr_t rcr8()'/>
