efi_bs_call
status = efi_bs_call(allocate_pages, EFI_ALLOCATE_MAX_ADDRESS,
efi_bs_call(free_pages, alloc_addr, slack - l + 1);
efi_bs_call(free_pages, *addr + size, slack);
efi_bs_call(free_pages, alloc_base,
efi_bs_call(free_pages, *reserve_addr + MAX_UNCOMP_KERNEL_SIZE,
status = efi_bs_call(allocate_pool, EFI_LOADER_DATA,
status = efi_bs_call(install_configuration_table, &cpu_state_guid,
efi_bs_call(install_configuration_table, &cpu_state_guid, NULL);
efi_bs_call(free_pool, efi_entry_state);
status = efi_bs_call(handle_protocol, handle, &loaded_image_proto,
efi_bs_call(locate_protocol, &tcg2_guid, NULL, (void **)&tcg2);
efi_bs_call(locate_protocol, &cc_guid, NULL, (void **)&cc);
status = efi_bs_call(allocate_pool, EFI_LOADER_DATA, size, (void **)&evt);
status = efi_bs_call(allocate_pool, EFI_LOADER_DATA, options_bytes,
efi_bs_call(free_pool, map);
status = efi_bs_call(exit_boot_services, handle, map->map_key);
status = efi_bs_call(get_memory_map,
status = efi_bs_call(exit_boot_services, handle, map->map_key);
status = efi_bs_call(locate_device_path, &lf2_proto_guid, &dp, &handle);
status = efi_bs_call(handle_protocol, handle, &lf2_proto_guid,
status = efi_bs_call(allocate_pool, EFI_LOADER_DATA, len, (void **)&buf);
status = efi_bs_call(allocate_pool, EFI_LOADER_DATA, sizeof(initrd),
status = efi_bs_call(install_configuration_table, &tbl_guid, tbl);
efi_bs_call(free_pool, tbl);
status = efi_bs_call(create_event, EFI_EVT_TIMER, 0, NULL, NULL, &timer);
status = efi_bs_call(set_timer, timer, EfiTimerRelative,
status = efi_bs_call(wait_for_event, 2, events, &index);
efi_bs_call(close_event, timer);
status = efi_bs_call(locate_protocol, &guid, NULL, (void **)&memattr);
status = efi_bs_call(get_memory_map, &size, NULL, &mmap_key, desc_size,
return efi_bs_call(allocate_pool, EFI_LOADER_DATA, size,
status = efi_bs_call(allocate_pool, EFI_LOADER_DATA, sizeof(*rsv),
status = efi_bs_call(install_configuration_table,
DEFINE_FREE(efi_pool, void *, if (_T) efi_bs_call(free_pool, _T));
efi_bs_call(free_pool, priv.runtime_map);
efi_bs_call(locate_protocol, &text_to_dp_guid, NULL,
if ((efi_bs_call(locate_device_path, &fs_proto, &initrd_dp, &handle) ?:
efi_bs_call(handle_protocol, handle, &fs_proto, (void **)&io))
status = efi_bs_call(handle_protocol, efi_table_attr(image, device_handle),
efi_bs_call(stall, 10 * EFI_USEC_PER_SEC);
status = efi_bs_call(handle_protocol, h,
status = efi_bs_call(handle_protocol, h,
status = efi_bs_call(locate_handle_buffer, EFI_LOCATE_BY_PROTOCOL,
status = efi_bs_call(handle_protocol, handle, &EFI_EDID_ACTIVE_PROTOCOL_GUID,
status = efi_bs_call(handle_protocol, handle,
efi_bs_call(copy_mem, dst, src, len);
efi_bs_call(set_mem, dst, len, c & U8_MAX);
} else if (efi_bs_call(handle_protocol, image_handle,
efi_bs_call(free_pages, addr, nr_pages);
status = efi_bs_call(get_memory_map, &tmp.map_size, NULL, &tmp.map_key,
status = efi_bs_call(allocate_pool, memtype, sizeof(*m) + size,
status = efi_bs_call(install_configuration_table, &tbl_guid, m);
status = efi_bs_call(get_memory_map, &m->map_size, m->map, &m->map_key,
efi_bs_call(install_configuration_table, &tbl_guid, NULL);
status = efi_bs_call(allocate_pages, EFI_ALLOCATE_MAX_ADDRESS,
status = efi_bs_call(locate_handle_buffer, EFI_LOCATE_BY_PROTOCOL,
status = efi_bs_call(handle_protocol, handle, &pci_proto,
efi_bs_call(disconnect_controller, handle, NULL, NULL);
status = efi_bs_call(handle_protocol, handle, &pci_proto,
status = efi_bs_call(allocate_pool, EFI_ACPI_RECLAIM_MEMORY,
status = efi_bs_call(install_configuration_table,
efi_bs_call(free_pool, dpy);
efi_bs_call(install_configuration_table, &primary_display_guid, NULL);
efi_bs_call(free_pool, dpy);
status = efi_bs_call(allocate_pool, EFI_ACPI_RECLAIM_MEMORY,
status = efi_bs_call(install_configuration_table, &rng_table_guid, seed);
efi_bs_call(free_pool, prev_seed);
efi_bs_call(free_pool, seed);
status = efi_bs_call(locate_protocol, &rng_proto, NULL, (void **)&rng);
status = efi_bs_call(locate_protocol, &rng_proto, NULL, (void **)&rng);
status = efi_bs_call(allocate_pages, EFI_ALLOCATE_ADDRESS,
status = efi_bs_call(allocate_pages, EFI_ALLOCATE_ADDRESS,
status = efi_bs_call(allocate_pages, EFI_ALLOCATE_ADDRESS,
status = efi_bs_call(locate_protocol, &boot_protocol_guid, NULL,
status = efi_bs_call(locate_protocol, &EFI_SMBIOS_PROTOCOL_GUID, NULL,
status = efi_bs_call(install_configuration_table,
efi_bs_call(free_pool, log_tbl);
status = efi_bs_call(locate_protocol, &tpm2_guid, NULL, (void **)&tpm2);
status = efi_bs_call(locate_protocol, &cc_guid, NULL, (void **)&cc);
status = efi_bs_call(allocate_pool, EFI_ACPI_RECLAIM_MEMORY,
status = efi_bs_call(allocate_pool, EFI_ACPI_RECLAIM_MEMORY,
status = efi_bs_call(install_configuration_table,
efi_bs_call(free_pool, unaccepted_table);
status = efi_bs_call(locate_handle_buffer, EFI_LOCATE_BY_PROTOCOL,
status = efi_bs_call(handle_protocol, h, &pci_proto,
status = efi_bs_call(locate_protocol, &guid, NULL, (void **)&p);
status = efi_bs_call(allocate_pool, EFI_LOADER_DATA,
efi_bs_call(free_pool, new);
status = efi_bs_call(locate_protocol, &APPLE_SET_OS_PROTOCOL_GUID, NULL,
status = efi_bs_call(locate_protocol, &mem_acceptance_proto, NULL,
efi_bs_call(exit, handle, status, 0, NULL);
status = efi_bs_call(handle_protocol, handle, &proto, (void **)&image);
status = efi_bs_call(allocate_pool, EFI_LOADER_DATA, size,
efi_bs_call(free_pool, *e820ext);
status = efi_bs_call(allocate_pool, EFI_LOADER_DATA, size,
efi_bs_call(locate_protocol, &guid, NULL, (void **)&memattr);
if (efi_bs_call(allocate_pages, EFI_ALLOCATE_ADDRESS, EFI_LOADER_DATA,
status = efi_bs_call(handle_protocol, handle,