#ifndef HW_EMPTY_SLOT_H
#define HW_EMPTY_SLOT_H
#include "exec/hwaddr.h"
/* empty_slot.c */
void empty_slot_init(hwaddr addr, uint64_t slot_size);
#endif