2012-12-06 12:15:58 +01:00
|
|
|
#ifndef HW_EMPTY_SLOT_H
|
2016-06-29 15:29:06 +02:00
|
|
|
#define HW_EMPTY_SLOT_H
|
2012-12-06 12:15:58 +01:00
|
|
|
|
2010-04-17 01:10:04 +02:00
|
|
|
/* empty_slot.c */
|
2012-10-23 12:30:10 +02:00
|
|
|
void empty_slot_init(hwaddr addr, uint64_t slot_size);
|
2012-12-06 12:15:58 +01:00
|
|
|
|
|
|
|
#endif
|