GIC_MSI_TYPER_BASE
frame->frame_base = __SHIFTOUT(typer, GIC_MSI_TYPER_BASE);
base_spi = __SHIFTOUT(typer, GIC_MSI_TYPER_BASE);