#define ADDRESS_PD 0x00100000
#define ADDRESS_PT 0x00101000

void inicializar_dir_kernel(){
    uint * _address_pd = (uint *) ADDRESS_PD;
    uint * _address_pt = (uint *) ADDRESS_PT;

    int i;

    //Inicializar page directory
    for(i = 0; i < 1024; i++) _address_pd[i] = 2;//PG_READ_WRITE;
    _address_pd[0] = ((uint) _address_pt) + 3; //(PG_PRESENT | PG_READ_WRITE);

    //Inicializar tabla de pagina para kernel.
    for(i = 0; i <= 1024; i++) _address_pt[i] = (i << 12) + (PG_PRESENT | PG_READ_WRITE);
}