cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

idset.h (738B)

      1/* SPDX-License-Identifier: GPL-2.0 */
      2/*
      3 *    Copyright IBM Corp. 2007, 2012
      4 *    Author(s): Peter Oberparleiter <peter.oberparleiter@de.ibm.com>
      5 */
      6
      7#ifndef S390_IDSET_H
      8#define S390_IDSET_H
      9
     10#include <asm/schid.h>
     11
     12struct idset;
     13
     14void idset_free(struct idset *set);
     15void idset_fill(struct idset *set);
     16
     17struct idset *idset_sch_new(void);
     18void idset_sch_add(struct idset *set, struct subchannel_id id);
     19void idset_sch_del(struct idset *set, struct subchannel_id id);
     20void idset_sch_del_subseq(struct idset *set, struct subchannel_id schid);
     21int idset_sch_contains(struct idset *set, struct subchannel_id id);
     22int idset_is_empty(struct idset *set);
     23void idset_add_set(struct idset *to, struct idset *from);
     24
     25#endif /* S390_IDSET_H */