check_cxx_source_runs(
    [====[
    #include <linux/time_types.h>
    int main(){ return 0; }
    ]====]
    LIBURINGCXX_HAS_TIME_TYPES
)