notif_get_and_handle
notif_get_and_handle(info);
smp_call_function_single(vcpu, notif_get_and_handle, info, 0);