Constant R_CKCORE_ADDRPLT_HI16

const R_CKCORE_ADDRPLT_HI16: u32 = 38u32

high & low 16 bit ADDRPLT, ((GOT + G * 4) >> 16) & 0xFFFF