/roms/edk2/MdePkg/Library/BaseSynchronizationLib/RiscV64/