/* Just a wrapper for the inline function 'i8253_cascade_ns_to_timer'.  */
static void pci224_cascade_ns_to_timer(int osc_base, unsigned int *d1, unsigned int *d2, unsigned int *nanosec, int round_mode)
/* Just a wrapper for the inline function 'i8253_cascade_ns_to_timer'.  */
static void pci224_cascade_ns_to_timer(int osc_base, unsigned int *d1, unsigned int *d2, unsigned int *nanosec, int round_mode)
{
	i8253_cascade_ns_to_timer(osc_base, d1, d2, nanosec, round_mode);
}