void
install_afs_syscall (void);
void
restore_afs_syscall (void);
pag_t xfs_get_pag(void);