Lines Matching full:bt_buf
194 static char bt_buf[MPX_BOUNDS_TABLE_SIZE_BYTES];
199 int read_ret = read(fd, &bt_buf, sizeof(bt_buf));
200 if (read_ret != sizeof(bt_buf))
202 return &bt_buf;
214 char *bt_buf;
219 bt_buf = read_bounds_table_into_buf(table_vaddr);
234 bt_entry_buf = (void *)&bt_buf[offset_inside_bt];
235 if (!bt_buf) {
236 printf("null bt_buf\n");
