1#ifndef HW_EMPTY_SLOT_H
2#define HW_EMPTY_SLOT_H
3
4#include "exec/hwaddr.h"
5
6/* empty_slot.c */
7void empty_slot_init(hwaddr addr, uint64_t slot_size);
8
9#endif
10