HPICL_ADDR
boot_loader_write_mem32(pao, 0, HPICL_ADDR, write_data);
0xFFF7 & boot_loader_read_mem32(pao, 0, HPICL_ADDR);