Searched refs:registration (Results 1 – 3 of 3) sorted by relevance
| /rk3399_rockchip-uboot/lib/efi_loader/ |
| H A D | efi_boottime.c | 585 void **registration) in efi_register_protocol_notify() argument
587 EFI_ENTRY("%p, %p, %p", protocol, event, registration); in efi_register_protocol_notify()
1056 void *registration, in efi_locate_protocol() argument
1062 EFI_ENTRY("%p, %p, %p", protocol, registration, protocol_interface); in efi_locate_protocol()
|
| /rk3399_rockchip-uboot/include/ |
| H A D | efi_api.h | 90 void **registration);
150 void *registration, void **protocol_interface);
|
| /rk3399_rockchip-uboot/drivers/core/ |
| H A D | Kconfig | 68 bool "Support stdio registration"
|