Commit c04aa003 authored by Charlie Jacobsen's avatar Charlie Jacobsen Committed by Vikram Narayanan
Browse files

libcap-integration: Update memory object lookup for vmalloc memory.

parent b9325169
......@@ -158,9 +158,10 @@ static int lookup_memory_object(struct cspace *cspace, cptr_t slot,
*/
t = cap_cnode_type(*cnode);
if (t != __lcd_get_libcap_type(LCD_MICROKERNEL_TYPE_ID_PAGE) &&
t != __lcd_get_libcap_type(LCD_MICROKERNEL_TYPE_ID_KPAGE) &&
t != __lcd_get_libcap_type(LCD_MICROKERNEL_TYPE_ID_DEV_MEM)) {
LCD_ERR("not a page");
t != __lcd_get_libcap_type(LCD_MICROKERNEL_TYPE_ID_VOLUNTEERED_PAGE) &&
t != __lcd_get_libcap_type(LCD_MICROKERNEL_TYPE_ID_VOLUNTEERED_DEV_MEM) &&
t != __lcd_get_libcap_type(LCD_MICROKERNEL_TYPE_ID_VOLUNTEERED_VMALLOC_MEM)) {
LCD_ERR("not a memory object");
goto fail2;
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment