/* The "ldr pc, " instruction above loads address from memory at offset 0x18 from current value of PC register. Note that PC is already incremented by 4 when computing the offset, so the effective offset is actually 0x20, this the associated <destination address>. Loading the PC register with an address performs a jump to that address.  */
void mx28_fixup_vt(uint32_t start_addr)
/* The "ldr pc, " instruction above loads address from memory at offset 0x18 from current value of PC register. Note that PC is already incremented by 4 when computing the offset, so the effective offset is actually 0x20, this the associated <destination address>. Loading the PC register with an address performs a jump to that address.  */
void mx28_fixup_vt(uint32_t start_addr)
{
	const uint32_t ldr_pc = 0xe59ff018;
	uint32_t *vt = (uint32_t *)0x0;
	int i;
	for (i = 0; i < 8; i++) {
		vt[i] = ldr_pc;
		vt[i + 8] = start_addr + (4 * i);
	}
}