Lines Matching refs:efi

3  * rtc-efi: RTC Class Driver for EFI-based systems
19 #include <linux/efi.h>
122 	status = efi.get_wakeup_time((efi_bool_t *)&wkalrm->enabled,
140 	status = efi.set_wakeup_time((efi_bool_t)!!wkalrm->enabled, &eft);
151 	status = efi.get_time(&eft, &cap);
172 	status = efi.set_time(&eft);
188 	efi.get_time(&eft, &cap);
190 	    efi.get_wakeup_time(&enabled, &pending, &alm) != EFI_SUCCESS) {
256 	if (efi.get_time(&eft, &cap) != EFI_SUCCESS)
277 	    efi.get_wakeup_time(&enabled, &pending, &eft) == EFI_SUCCESS) {
291 		.name = "rtc-efi",
300 MODULE_ALIAS("platform:rtc-efi");