#ifndef _JOVE_UACPI_H
#define _JOVE_UACPI_H 1

void uacpi_kernel_init(void);

#endif