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 quatro para fazer uma análise: Primeira parte: Nesse trecho é feita uma operação de de deslocamento do valor da variável `virt`, para pegar os 10 bits mais significativos do dado contido na variável e o valor resultante servirá de índice para o array `pagedir`. Do valor contido em `pagedir` de índice `[virt >> 22]` é feita mais duas operações, uma de negação (~) e uma AND (&) e resultará em um outro valor, que me parece ser um outro endereço: pagedir[virt >> 22] & ~0xfff Segunda parte: O resultado da primeira parte, o que me parece, retorna um endereço, então, nessa segunda parte está sendo indexado (apontada) outra região de memória a partir desse endereço: (pagedir[virt >> 22] & ~0xfff))[virt << 10 >> 10 >> 12]; Os parênteses, em volta de `pagedir e nas operações feitas com ela, querem dizer que o endereço resultante dessas operações será indexado pelos colchetes e dentro dos colchetes é feita uma indexação que equivale a uma aritmética de ponteiros: `(...)[virt << 10 >> 10 >> 12]` Terceira parte: Nessa momento o cast de `(uint32_t*)` está dizendo que a região de memória indexada (apontada) é da base (tamanho) de `uint32`_t, então, qualquer operação (alocações, cálculos, atribuições, etc.) realizada será nessa base: ((uint32_t*) (pagedir[virt >> 22] & ~0xfff))[virt << 10 >> 10 >> 12]; Quarta parte: Por fim, toda a operação é apontada por um 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