empty_slot.h 86 B

12
  1. /* empty_slot.c */
  2. void empty_slot_init(target_phys_addr_t addr, uint64_t slot_size);