TLB
struct tlb_shootdown_cpu { uintptr_t queue[TLB_QUEUE_SIZE]; uint32_t head; uint32_t tail; atomic_bool in_tlb_shootdown; uint8_t flush_all; uint64_t req_gen; uint64_t done_gen;};void tlb_init(void);enum irq_result tlb_shootdown_isr(void *ctx, uint8_t irq, struct irq_context *rsp);tlb_shootdown_isr referenced types:
void tlb_shootdown(uintptr_t addr, bool synchronous);Defines
Section titled “Defines”#define TLB_QUEUE_SIZE 64