Searched defs:VCPU_BADGE_IDX (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Darm_vm.h10 #define VCPU_BADGE_IDX(badge) badge - 1 macro

Completed in 26 milliseconds