s32 Patch_ahbprot(void);