2 * Copyright 2008 IBM Corporation.
5 * This work is licensed under the GNU GPL license version 2 or later.
12 void kvmppc_init(void);
13 void kvmppc_fdt_update(void *fdt);
14 int kvmppc_read_host_property(const char *node_path, const char *prop,
15 void *val, size_t len);
17 uint32_t kvmppc_get_tbfreq(void);
19 #endif /* __KVM_PPC_H__ */