Searched refs:platform_ctx (Results 1 – 3 of 3) sorted by relevance

/kernel/dev/interrupt/arm_gic/v2/
A D	arm_gicv2m_msi.cpp	132 out_block->platform_ctx = (void*)is_32bit; in arm_gicv2m_msi_alloc_block() 154 p2ra_state_t* pool = block->platform_ctx ? &g_32bit_targets : &g_64bit_targets; in arm_gicv2m_msi_free_block()
/kernel/dev/interrupt/include/dev/
A D	interrupt.h	71 void* platform_ctx; // Allocation context owned by the platform member
/kernel/platform/pc/
A D	interrupts.cpp	332 out_block->platform_ctx = NULL; in msi_alloc_block()

Completed in 5 milliseconds

Last Index update Fri Aug 22 02:51:41 CST 2025