Searched refs:setlpir (Results 1 - 1 of 1) sorted by relevance

/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v3.h127 uint64_t setlpir; /* 0x0040 */ member in struct:gic_rdist_map

Completed in 73 milliseconds