Fixed compilation's problems of rtos in x86_64
Fixed compilation's problems of rtos in x86_64


git-svn-id: 32dec77df38007f93bad07a69c427ec952bb2f5b@231371 523d945c-050c-4681-91ec-863ad3bb968a

csrg-utfsm/acscb,csrg-utfsm/acscb,ACS-Community/ACS,csrg-utfsm/acscb,csrg-utfsm/acscb,csrg-utfsm/acscb,ACS-Community/ACS,csrg-utfsm/acscb,ACS-Community/ACS,csrg-utfsm/acscb,ACS-Community/ACS,ACS-Community/ACS,ACS-Community/ACS,ACS-Community/ACS,ACS-Community/ACS,csrg-utfsm/acscb