#ifndef __TASK_PROCESS_H__
#define __TASK_PROCESS_H__

void copy_page_physical(u32int src, u32int dest);

#endif