{
        u64 interrupt_active   =  readq(pcard->sysinfo_regs_base + REG_INTERRUPT_ACTIVE);
        u64 interrupt_mask_inv = ~readq(pcard->sysinfo_regs_base + REG_INTERRUPT_MASK);
-       u64 irq_check_mask = (1 << irq_num);
+       u64 irq_check_mask = BIT_ULL(irq_num);
 
        if (interrupt_active & irq_check_mask) { // if it's active (interrupt pending)
                if (interrupt_mask_inv & irq_check_mask) {    // and if it's not masked off
                return IRQ_NONE;
 
        if (kp2000_check_uio_irq(kudev->pcard, kudev->cte.irq_base_num)) {
-               writeq((1 << kudev->cte.irq_base_num), kudev->pcard->sysinfo_regs_base + REG_INTERRUPT_ACTIVE); // Clear the active flag
+               /* Clear the active flag */
+               writeq(BIT_ULL(kudev->cte.irq_base_num),
+                      kudev->pcard->sysinfo_regs_base + REG_INTERRUPT_ACTIVE);
                return IRQ_HANDLED;
        }
        return IRQ_NONE;
        mutex_lock(&pcard->sem);
        mask = readq(pcard->sysinfo_regs_base + REG_INTERRUPT_MASK);
        if (irq_on)
-               mask &= ~(1 << (kudev->cte.irq_base_num));
+               mask &= ~(BIT_ULL(kudev->cte.irq_base_num));
        else
-               mask |= (1 << (kudev->cte.irq_base_num));
+               mask |= BIT_ULL(kudev->cte.irq_base_num);
        writeq(mask, pcard->sysinfo_regs_base + REG_INTERRUPT_MASK);
        mutex_unlock(&pcard->sem);