Differential D1157 Diff 2411 sys/dev/hpt27xx/hpt27xx_os_bsd.c

Changeset View

Standalone View

	Show First 20 Lines • Show All 234 Lines • ▼ Show 20 Lines
	}			}

	void os_request_timer(void * osext, HPT_U32 interval)			void os_request_timer(void * osext, HPT_U32 interval)
	{			{
	PVBUS_EXT vbus_ext = osext;			PVBUS_EXT vbus_ext = osext;

	HPT_ASSERT(vbus_ext->ext_type==EXT_TYPE_VBUS);			HPT_ASSERT(vbus_ext->ext_type==EXT_TYPE_VBUS);

	callout_reset(&vbus_ext->timer, interval * hz / 1000000,			callout_reset_sbt(&vbus_ext->timer, SBT_1US * interval, 0,
	os_timer_for_ldm, vbus_ext);			os_timer_for_ldm, vbus_ext, 0);
	}			}

	HPT_TIME os_query_time(void)			HPT_TIME os_query_time(void)
	{			{
	return ticks * (1000000 / hz);			return ticks * (1000000 / hz);
	}			}

	void os_schedule_task(void osext, OSM_TASK task)			void os_schedule_task(void osext, OSM_TASK task)
	▲ Show 20 Lines • Show All 55 Lines • Show Last 20 Lines