Add IRQL_X64