Home
last modified time | relevance | path

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

/seL4-master/include/arch/x86/arch/object/
A Dvcpu.h292 word_t cached_exception_bitmap; member
/seL4-master/src/arch/x86/object/
A Dvcpu.c620 vcpu->exception_bitmap = vcpu->cached_exception_bitmap = value; in invokeWriteVMCS()
1384 if (exception_bitmap != vcpu->cached_exception_bitmap) { in handleLazyFpu()
1386 vcpu->cached_exception_bitmap = exception_bitmap; in handleLazyFpu()

Completed in 13 milliseconds