Searched defs:vcpu_switch (Results 1 – 2 of 2) sorted by relevance
200 #define vcpu_switch(x) do {} while(0) macro
232 void vcpu_switch(vcpu_t *new) in vcpu_switch() function
Completed in 7 milliseconds