}
static void
-decode_rtc_time(struct tcb *tcp, const long addr)
+decode_rtc_time(struct tcb *const tcp, const kernel_ureg_t addr)
{
struct rtc_time rt;
}
static void
-decode_rtc_wkalrm(struct tcb *tcp, const long addr)
+decode_rtc_wkalrm(struct tcb *const tcp, const kernel_ureg_t addr)
{
struct rtc_wkalrm wk;
}
static void
-decode_rtc_pll_info(struct tcb *tcp, const long addr)
+decode_rtc_pll_info(struct tcb *const tcp, const kernel_ureg_t addr)
{
struct_rtc_pll_info pll;
pll.pll_posmult, pll.pll_negmult, (long) pll.pll_clock);
}
-MPERS_PRINTER_DECL(int, rtc_ioctl, struct tcb *tcp,
- const unsigned int code, const long arg)
+MPERS_PRINTER_DECL(int, rtc_ioctl, struct tcb *const tcp,
+ const unsigned int code, const kernel_ureg_t arg)
{
switch (code) {
case RTC_ALM_READ: