-
-
-
-
-/* FIXMEx86 */
-/* These all need to be implemented somewhere */
-
-void fillPage(ppnum_t pa, unsigned int fill)
-{
-}
-
-uint64_t max_mem;
-uint64_t sane_size;
-
-#include <vm/pmap.h>
-
-ppnum_t pmap_find_phys(pmap_t pmap, addr64_t va)
-{
- return 0;
-}
-
-kern_return_t copypv(addr64_t source, addr64_t sink, unsigned int size, int which)
-{
- return KERN_SUCCESS;
-}
-
-void mapping_set_mod(ppnum_t pa)
-{
-}
-
-void flush_dcache64(addr64_t addr, unsigned count, int phys)
-{
-}
-
-void invalidate_icache64(addr64_t addr, unsigned cnt, int phys)
-{
-}