Home
last modified time | relevance | path

Searched refs:CB_INVALID (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/arch/arm/arch/64/mode/kernel/
A Dvspace.h73 #define cap_vtable_cap_new(_a, _v, _m) cap_page_upper_directory_cap_new(_a, _v, _m, 0, CB_INVALID)
116 cap_page_global_directory_cap_new(_a, _v, _m, CB_INVALID)
/seL4-master/include/arch/arm/arch/object/
A Dsmmu.h13 #define CB_INVALID SMMU_MAX_CB macro
/seL4-master/src/arch/arm/64/object/
A Dobjecttype.c152 if (cap_page_global_directory_cap_get_capPGDMappedCB(cap) != CB_INVALID) { in Arch_finaliseCap()
166 if (cap_page_upper_directory_cap_get_capPGDMappedCB(cap) != CB_INVALID) { in Arch_finaliseCap()
426 CB_INVALID /* capPGDMappedCB */ in Arch_createObject()

Completed in 5 milliseconds