Re: [RFC] [PATCH] Implement timecounter driver for Xen

[Antti Kantee]

Actually, another thing.

On 06/03/15 15:04, Martin Lucina wrote:

+RUMP_COMPONENT(RUMP_COMPONENT_KERN)
+{
+       tc_init(&rumpxen_tc);
+}

It would be better to use MODULE().