Primeiramente você deve entender que os tipos (`int`, `char`, `long`, etc.) tem um tamanho definido pela plataforma, alguns mantém seu tamanho em todas as plataformas, como no caso do tipo `char` de `8 bits`. 
 
Os ponteiros apontam para endereço de memória, porém, você necessita dizer pra que tipo (tamanho) de região de memória você quer apontar, para que o compilador saiba como lidar com as informações que o ponteiro aponta (alocações, cálculos, etc).
 
O tipo `void` é uma exceção das regras de tipos. O tipo `void` tem tamanho de `1 byte`, porém, ele não armazena nenhum dado. O ponteiro de tipo `void` só pode apontar pra outro ponteiro de mesmo tipo (essa regra serve para os todos os tipos), geralmente ele é usado para "generalizar" dados. É muito usado para quando você não sabe que tipo de dado irá receber, porém, ao recebe-lo é necessário fazer um `cast` para o tipo da variável que está recebendo esse dado, para que seja possível manipulá-lo (alocações, cálculos, atribuições, etc.).

O `cast` serve para forçar uma variável a ser um tipo diferente do que ela foi declara. Ele é usado para otimizar as operações e até mesmo tornar possível fazer operação entre duas ou mais variáveis sem que o resultado seja algo inesperado.

Referente a sua linha de código, vou dividi-la em duas para fazer uma análise:

Nesse trecho é feito o cast para que as operações sejam feitas na mesma base do tipo `uint32_t`;

    (uint32_t*) (pagedir[virt >> 22] & ~0xfff) 

Já aqui toda a operação é passada para o tipo `void`, pois a função retorna um dado deste tipo e, ao meu ver, essa função está deixando para quem receber seu retorno definir como ele quer armazenar o valor retornado, dessa forma quem receber esse retorno terá que fazer um `cast` para algum tipo:

    return (void*) ((uint32_t*) (pagedir[virt >> 22] & ~0xfff))[virt << 10 >> 10 >> 12];

 Vou deixar um link para que vocÊ encontre mais informações sobre ponteiros: [Programar em C/Ponteiros][1]

Espero ter ajudado.


  [1]: https://pt.wikibooks.org/wiki/Programar_em_C/Ponteiros