KVM_NUM_PRIOS
gic_set_priority(i, (i % (KVM_NUM_PRIOS - 1)) << 3);
#define LOWEST_PRIO (KVM_NUM_PRIOS - 1)