s3c2440_mask_subinterrupts
void s3c2440_mask_subinterrupts(int);
s3c2440_mask_subinterrupts(intrbits);