pub fn get_amd64_pte_index(gva: u64, page_map_level: u64) -> u64
Get an AMD64 PTE index based on page table level.