diff options
| author | Michael Brown <mcb30@ipxe.org> | 2015-07-21 22:26:48 +0100 |
|---|---|---|
| committer | Michael Brown <mcb30@ipxe.org> | 2015-07-22 21:17:47 +0100 |
| commit | 6bc3d994966b00560e07c662b33da0cc9477891f (patch) | |
| tree | 54b1b1520110f7a4852d0d3bcbbde1deac92a126 /src/libgcc/__divdi3.c | |
| parent | 89816af2a4b7dfc42aef880912dad8fad28e974b (diff) | |
| download | ipxe-6bc3d994966b00560e07c662b33da0cc9477891f.zip ipxe-6bc3d994966b00560e07c662b33da0cc9477891f.tar.gz ipxe-6bc3d994966b00560e07c662b33da0cc9477891f.tar.bz2 | |
[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>
Diffstat (limited to 'src/libgcc/__divdi3.c')
0 files changed, 0 insertions, 0 deletions