[efi] Do not raise TPL within EFI_DRIVER_BINDING_PROTOCOL.Supported()
[ipxe.git] / src / arch / arm / include / bits / time.h
1 #ifndef _BITS_TIME_H
2 #define _BITS_TIME_H
3
4 /** @file
5 *
6 * ARM-specific time API implementations
7 *
8 */
9
10 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11
12 #endif /* _BITS_TIME_H */