This works in a similar way to x86's paging, by using page directories which point to page tables, which point to physical addresses.
int