/roms/edk2/ArmVirtPkg/Include/Library/