let
entry_address
ptable
page_nb
=
if
page_nb
<
ptable_size
then
(
ptable
*
page_size
) + (2 *
page_nb
)
else
raise
Segmentation_fault
;;