L4GEN_BUFFER_SIG

1046

DbgBreakIf(SIG(gen_buf->buf_virt) != L4GEN_BUFFER_SIG);

2387

DbgBreakIf(SIG(curr_gen_buf->buf_virt) != L4GEN_BUFFER_SIG);

2410

DbgBreakIf(SIG(curr_gen_buf->buf_virt) != L4GEN_BUFFER_SIG);

817

DbgBreakIf(SIG(gen_buf->buf_virt) != L4GEN_BUFFER_SIG);

914

DbgBreakIf(SIG(gen_buf->buf_virt) != L4GEN_BUFFER_SIG);

968

DbgBreakIf(SIG(gen_buf->buf_virt) != L4GEN_BUFFER_SIG);

470

DbgBreakIf(SIG(curr_gen_buf->buf_virt) != L4GEN_BUFFER_SIG);