eficlock.c File Reference

EFI clock implementation. More...

#include <bsp.h>
#include <efi.h>
#include <stdio.h>
#include "../../shared/dev/clock/clockimpl.h"

Macros
#define	Clock_driver_support_initialize_hardware()   efi_clock_initialize()
#define	CLOCK_DRIVER_USE_DUMMY_TIMECOUNTER

Functions
void	Clock_isr (void *)
EFIAPI void	efi_clock_tick_notify (EFI_EVENT e, VOID *ctx)

Variables
EFI_BOOT_SERVICES *	BS

Detailed Description

EFI clock implementation.