1823 static void invalid_hwcaps ( VexArch arch, UInt hwcaps, const HChar *message )  in invalid_hwcaps()  function
1851          invalid_hwcaps(arch, hwcaps, "Cannot handle capabilities\n");  in check_hwcaps()
1868             invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1872             invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1875             invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1886             invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1896             invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1901             invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1907                invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1910                invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1913                invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1919             invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1938             invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1943             invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1949                invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1952                invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1955                invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1963                invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1966                invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1969                invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1972                invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1985                   invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1990                   invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
1997                   invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
2001                invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
2008             invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
2014             invalid_hwcaps(arch, hwcaps,  in check_hwcaps()
2027                invalid_hwcaps(arch, hwcaps, "Unsupported baseline\n");  in check_hwcaps()
2037                invalid_hwcaps(arch, hwcaps, "Unsupported baseline\n");  in check_hwcaps()