-/* no user-level prototype for this one */
-struct mk_timebase_info_trap_args {
- PAD_ARG_(uint32_t *, delta);
- PAD_ARG_(uint32_t *, abs_to_ns_numer);
- PAD_ARG_(uint32_t *, abs_to_ns_denom);
- PAD_ARG_(uint32_t *, proc_to_abs_numer);
- PAD_ARG_(uint32_t *, proc_to_abs_denom);
-};
-extern void mk_timebase_info_trap(
- struct mk_timebase_info_trap_args *args);
-