dispatch

Declaration

void (*dispatch)(void *vcpu);