#ifndef MINIOS_KERN_KMALLOC_H
#define MINIOS_KERN_KMALLOC_H

phyaddr_t	phy_malloc_4k(void);

#endif /* MINIOS_KERN_KMALLOC_H */