Lines Matching refs:slot

25  * to find the one associated with that slot.
42    * getCurrentSlot() returns the slot number of that the current boot is booted
43    * from, for example slot number 0 (Slot A). It is assumed that if the current
44    * slot is A, then the block devices underlying B can be accessed directly
49    * from the bootloader, regardless of which slot is active or successful.
51   getCurrentSlot() generates (Slot slot);
54    * markBootSuccessful() marks the current slot as having booted successfully.
61    * setActiveBootSlot() marks the slot passed in parameter as the active boot
62    * slot (see getCurrentSlot for an explanation of the "slot" parameter). This
66   setActiveBootSlot(Slot slot) generates (CommandResult error);
69    * setSlotAsUnbootable() marks the slot passed in parameter as
70    * an unbootable. This can be used while updating the contents of the slot's
74   setSlotAsUnbootable(Slot slot) generates (CommandResult error);
77    * isSlotBootable() returns if the slot passed in parameter is bootable. Note
80    * Returns TRUE if the slot is bootable, FALSE if it's not, and INVALID_SLOT
81    * if slot does not exist.
83   isSlotBootable(Slot slot) generates (BoolResult bootable);
86    * isSlotMarkedSucessful() returns if the slot passed in parameter has been
88    * slot can be marked as successful but any slot can be queried.
89    * Returns TRUE if the slot has been marked as successful, FALSE if it has
90    * not, and INVALID_SLOT if the slot does not exist.
92   isSlotMarkedSuccessful(Slot slot) generates (BoolResult successful);
96    * the slot number passed in as a parameter. The bootloader must pass the
97    * suffix of the currently active slot either through a kernel command line
100    * Returns the empty string "" if slot does not match an existing slot.
102   getSuffix(Slot slot) generates (string slotSuffix);