Use ENTER_KERNEL instead of int $0x80.