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

/seL4-master/src/arch/arm/object/
A D	vcpu.c	257 static void vcpu_invalidate_active(void) in vcpu_invalidate_active() function 291 vcpu_invalidate_active(); in dissociateVCPUTCB()

Completed in 5 milliseconds

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