They don't. I'm not actually sure where in the zoo they would have been kept. Maybe the Ring-tailed Lemur enclosure.
the jaguar died in 2008. Her name was Siu Fa, born in Berlin in 1987 and imported to Hong Kong in 1989. She apparently remains on exhibit as a mounted specimen in the education centre. When she died it was reported that her enclosure would be used for "endangered primates", so one of the lemurs would be a good guess. The enclosure is actually on Zoolex, and it is marked on the map on the following link if that helps: ZooLex Overview