RUNWAY_STATUS
tmp64 = __raw_readq(runway + RUNWAY_STATUS) & 0xffecfffffffffffful;
runway + RUNWAY_STATUS);