1239310Sdim/* 2239310Sdim * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3239310Sdim * 4239310Sdim * SPDX-License-Identifier: BSD-2-Clause 5239310Sdim */ 6239310Sdim 7239310Sdim#include <sel4/deprecated.h> 8239310Sdim