VOID __fastcall ViAvlRaiseIrqlSafe(INT64 a1){
unsigned __int8 CurrentIrql;
if( (*(_BYTE *)(a1 + 9) & 1) == 0 )
{
CurrentIrql = KeGetCurrentIrql();
__writecr8(2ui64);
*(_BYTE *)(a1 + 9) |= 1u;
*(_BYTE *)(a1 + 8) = CurrentIrql;
}
}