da9fcfa544 ^
a8170e5e97 ^
1
2
/* empty_slot.c */ void empty_slot_init(hwaddr addr, uint64_t slot_size);