* * This copyrighted material is made available to anyone wishing to use, * modify, copy, or redistribute it subject to the terms and conditions * of the GNU General Public License v.2. */#ifndef __PAGE_DOT_H__#define __PAGE_DOT_H__voidgfs2_pte_inval(structgfs2_glock*gl);voidgfs2_page_inval(structgfs2_glock*gl);voidgfs2_page_sync(structgfs2_glock*gl,intflags);