4 void mmusetramsize(paddr_t size
);
5 int mmuaddpage(ppc_map_info_t
*info
, int count
);
6 void mmudelpage(ppc_map_info_t
*info
, int count
);
7 void mmugetpage(ppc_map_info_t
*info
, int count
);
8 void mmusetvsid(int start
, int end
, int vsid
);
10 void mmuallocvsid(int vsid
, int mask
);
12 void mmufreevsid(int vsid
, int mask
);
14 void callkernel(void *fun_ptr
, void *arg
);