Searched refs:u2mb (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/usr/arrakismon/
H A Dx86.h80 } __attribute__((packed)) u2mb; member in union:x86_lm_va
185 } __attribute__((packed)) u2mb; member in union:x86_lm_pd_entry
H A Dguest.c1040 return (pde.u2mb.base_pa << 21) | va.u2mb.pa_offset;
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dx86.h89 } __attribute__((packed)) u2mb; member in union:x86_lm_va
194 } __attribute__((packed)) u2mb; member in union:x86_lm_pd_entry
H A Dguest.c1185 return (pde.u2mb.base_pa << 21) | va.u2mb.pa_offset;

Completed in 187 milliseconds