efi_set_event_at(9)

📦 version 7.3.1, in nixpkgs unstable

💖 efi_set_event_at(9) 💖

okay so real talk: this page is from the Kernel API Manual, and it's giving tiny helper with main-character energy. Let's get into it, bestie 🫶

🌸 NAME 🌸

efi_set_event_at — add event to events array ✨

🎀 SYNOPSIS 🎀

void efi_set_event_at (efi_event_t *events , size_t idx , efi_event_t event );

🦋 ARGUMENTS 🦋

  • events — array of UEFI events 💅
  • idx — okay so the original literally says -- undescribed -- here, and I'm not gonna make up lore, bestie 🙈
  • event — event to add to the aray (yes, "aray" is exactly what it says 👀)

🔥 DESCRIPTION 🔥

So boottime->wait_for_event takes an array of events as input. This is the helper that sets it up correctly for mixed mode. Periodt. 🫶

🌈 SEE ALSO 🌈

  • Kernel file ./drivers/firmware/efi/libstub/efistub.h — go look, iykyk 📖✨

mwah 💋 source/version: ./drivers/firmware/efi/libstub • date: October 2026 • page: efi_set_event_at(9) 🌸

📦 where this page comes from