[bits 32]
global isr128
extern isr_handler
extern common_isr_stub

isr128:
    cli
    push dword 0       ; No error code
    push dword 128     ; Interrupt number
    jmp common_isr_stub