void tracingAddCapapilities (uint32_t from, uint32_t to) { if (eventlog_enabled) { moreCapEventBufs(from,to); } }
void tracingAddCapapilities (nat from, nat to) { if (eventlog_enabled) { moreCapEventBufs(from,to); } }