void s3c2440_device::s3c2440_request_irq(uint32_t int_type) { s3c24xx_request_irq( int_type); }
void s3c2440_request_irq( device_t *device, UINT32 int_type) { s3c24xx_request_irq( device, int_type); }
void s3c2440_device::s3c2440_request_irq(UINT32 int_type) { s3c24xx_request_irq( int_type); }