[profile] Add profile_custom() for profiling with arbitrary time units
authorMichael Brown <mcb30@ipxe.org>
Tue, 21 Jul 2015 21:26:48 +0000 (22:26 +0100)
committerMichael Brown <mcb30@ipxe.org>
Wed, 22 Jul 2015 20:17:47 +0000 (21:17 +0100)
commit6bc3d994966b00560e07c662b33da0cc9477891f
tree54b1b1520110f7a4852d0d3bcbbde1deac92a126
parent89816af2a4b7dfc42aef880912dad8fad28e974b
[profile] Add profile_custom() for profiling with arbitrary time units

Provide profile_custom() as a trivial wrapper around profile_update()
to allow for the use of the profiling infrastructure by code using
timers other than the default profile_timestamp() provider.

Signed-off-by: Michael Brown <mcb30@ipxe.org>
src/include/ipxe/profile.h